PreviousUpNext

15.3.418  src/lib/src/oop.api

## oop.api

# Compiled by:
#     src/lib/std/standard.lib

# See comments in src/lib/src/oop.pkg

api Oop {

    identity: X -> X;

    Oop_Null = OOP_NULL;

    repack_object: (X -> Y) -> (((Y, Z) -> A), ((X, Z))) -> A;
    unpack_object: (((X, Y) -> Z), ((X, A))) -> ((Y -> Z), A);

    no_subclass:   Ref( Int );
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext