fn read_label_value() -> CellRef {
    // Called on a monad that will return a label ID cell
    let read_label_value = FnMonad::from(|(label_id, ): (CellRef, )| {
        let label_value = BitCodeMonad::read_label_value(label_id);
        let label_value = SafasCell::Any(Box::new(label_value)).into();

        let monad_type  = MonadType::new(BITCODE_FLAT_MAP.clone());

        CellRef::new(SafasCell::Monad(label_value, monad_type))
    });
    let read_label_value = ReturnsMonad(read_label_value);
    let read_label_value = SafasCell::FrameMonad(Box::new(read_label_value));

    read_label_value.into()
}
///
/// Creates a 'read label value' flat_map function
///
Creates a 'read label value' flat_map function
Creates a ' read label value ' flat_map function
fn read_label_value() -> CellRef {
    // Called on a monad that will return a label ID cell
    let read_label_value = FnMonad::from(|(label_id, ): (CellRef, )| {
        let label_value = BitCodeMonad::read_label_value(label_id);
        let label_value = SafasCell::Any(Box::new(label_value)).into();
        let monad_type  = MonadType::new(BITCODE_FLAT_MAP.clone());
        CellRef::new(SafasCell::Monad(label_value, monad_type))
    });
    let read_label_value = ReturnsMonad(read_label_value);
    let read_label_value = SafasCell::FrameMonad(Box::new(read_label_value));
    read_label_value.into()
}
fn read_label_value ( ) -> CellRef { // Called on a monad that will return a label ID cell let read_label_value = FnMonad :: from ( | ( label_id , ) : ( CellRef , ) | { let label_value = BitCodeMonad :: read_label_value ( label_id ) ; let label_value = SafasCell :: Any ( Box :: new ( label_value ) ) . into ( ) ; let monad_type = MonadType :: new ( BITCODE_FLAT_MAP . clone ( ) ) ; CellRef :: new ( SafasCell :: Monad ( label_value , monad_type ) ) } ) ; let read_label_value = ReturnsMonad ( read_label_value ) ; let read_label_value = SafasCell :: FrameMonad ( Box :: new ( read_label_value ) ) ; read_label_value . into ( ) }
Creates a 'read label value' flat_map function
Creates a ' read label value ' flat_map function