(* m2stub V100: at 25-Feb-88 17:43:17 *)

DEFINITION MODULE SSSecServ;

IMPORT
  RPC, Strings, Sec;

EXPORT QUALIFIED Offer;

  PROCEDURE Offer(name:Strings.String; dist:RPC.Distance):RPC.MemberRC;

  END SSSecServ.
