INTERFACEObPointProp ; IMPORT ObLib, ObProtoLoader, ObValue, Obliq, PointProp, SynLocation; PROCEDURE SetupPackage (); PROCEDURE SetupModule (loader : ObProtoLoader.T); PROCEDURE GetOverloadedVal (args : ObValue.ArgArray; idx : INTEGER; package : ObLib.T; opCode : ObLib.OpCode; loc : SynLocation.T) : PointProp.Val RAISES {ObValue.Error, ObValue.Exception}; PROCEDURE ObliqToM3 (val : Obliq.Val) : PointProp.Val RAISES {ObValue.Error, ObValue.Exception}; END ObPointProp.