INTERFACE MxVS;

IMPORT M3ID, M3FP;

TYPE
  T = INTEGER;
  (* a version stamp handle *)

TYPE
  Info = RECORD
    source : M3ID.T; (* exporting interface's name *)
    symbol : M3ID.T; (* symbol's name *)
    stamp  : M3FP.T; (* symbol's fingerprint *)
  END;

CONST
  NoVS = 0; (* a value never returned by "Put" *)

PROCEDURE Get (t: T;  VAR(*OUT*) i: Info);

PROCEDURE Put (READONLY i: Info): T;

END MxVS.