fn alloc_label() -> CellRef {
    // Basic alloc_label monad
    let alloc_label = BitCodeMonad::alloc_label();

    // Stuff into a cell with the any mapping
    let alloc_label = SafasCell::Any(Box::new(alloc_label)).into();

    // Monad type is the flat_map method (which expects the 'Any' cell defined above)
    let monad_type  = MonadType::new(BITCODE_FLAT_MAP.clone());

    SafasCell::Monad(alloc_label, monad_type).into()
}
///
/// Creates the 'alloc_label' bitcode monad as a cell
///
Creates the 'alloc_label' bitcode monad as a cell
Creates the ' alloc_label ' bitcode monad as a cell
fn alloc_label() -> CellRef {
    // Basic alloc_label monad
    let alloc_label = BitCodeMonad::alloc_label();
    // Stuff into a cell with the any mapping
    let alloc_label = SafasCell::Any(Box::new(alloc_label)).into();
    // Monad type is the flat_map method (which expects the 'Any' cell defined above)
    let monad_type  = MonadType::new(BITCODE_FLAT_MAP.clone());
    SafasCell::Monad(alloc_label, monad_type).into()
}
fn alloc_label ( ) -> CellRef { // Basic alloc_label monad let alloc_label = BitCodeMonad :: alloc_label ( ) ; // Stuff into a cell with the any mapping let alloc_label = SafasCell :: Any ( Box :: new ( alloc_label ) ) . into ( ) ; // Monad type is the flat_map method (which expects the 'Any' cell defined above) let monad_type = MonadType :: new ( BITCODE_FLAT_MAP . clone ( ) ) ; SafasCell :: Monad ( alloc_label , monad_type ) . into ( ) }
Creates the 'alloc_label' bitcode monad as a cell
Creates the ' alloc_label ' bitcode monad as a cell