adam@0: val init : transaction {}
adam@2: 
adam@2: type discovery
adam@2: val discover : string -> transaction (option discovery)
adam@2: val endpoint : discovery -> string
adam@2: val localId : discovery -> option string