*** lookup-iface.m
*** supported by good and compromised lookup service

fmod LOOKUP-IFACE is
  inc JCONF .
  inc STRING .
  inc DATA .
  op registerReq : String Data -> MsgBody .
  op registerReply :  -> MsgBody .
  op lookupReq : String -> MsgBody .
  op lookupOk : String Data -> MsgBody .  
  op lookupFail :  String -> MsgBody .        
endfm


