The standard library Oop api defines access to core object oriented programming support.
The Oop api is implemented by the oop package.
The Oop api source code is in src/lib/src/oop.api.
The above information is manually maintained and may contain errors.
api {
identity : X -> X;
Oop_Null = OOP_NULL;
repack_object : (Y -> X) -> (((X , Z) -> A) , ((Y , Z))) -> A;
unpack_object : (((X , Y) -> Z) , ((X , A))) -> ((Y -> Z) , A);
no_subclass : Ref(Int );};