14.4.62  Object2

The standard library Object2 api defines the interface to the root class of objects with equality. This is temporary development scaffolding.

The Object2 api is implemented by the object2 package.

The Object2 api source code is in src/lib/src/object2.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;
    message__count : Int;
    field__count : Int;};