14.4.63  Object

The standard library Object api defines the interface to the root class of objects with equality.

The Object api is implemented by the object package.

The Object api source code is in src/lib/src/object.api.

The above information is manually maintained and may contain errors.

api {
    exception EQUAL;
    Full__State X;
    Self X = root_object::Self(Full__State(X ) );
    Myself  = Self(oop::Oop_Null );
        package super
          : api {
                Self X;
                Myself  = Self(oop::Oop_Null );
                get__substate : Self(X ) -> X;
                unpack__object : Self(X ) -> ((X -> Self(X )) , X);
                pack__object : Void -> X -> Self(X );
                new : Void -> Myself;};;
    get__substate : Self(X ) -> X;
    unpack__object : Self(X ) -> ((X -> Self(X )) , X);
    Object__Methods X = Self(X ) -> Self(X ) -> Bool;
    repack_methods : (Object__Methods(X ) -> Object__Methods(X )) -> Self(X ) -> Self(X );
        override__equal :
        ((Self(X ) -> Self(X ) -> Bool) -> Self(X ) -> Self(X ) -> Bool) -> Self(X ) -> Self(X );
    pack__object : Void -> X -> Self(X );
    equal : Self(X ) -> Self(X ) -> Bool;
    make__object : Void -> Myself;};