adam@1: fun discover r =
adam@2: dy <- Openid.discover r.Id;
adam@2: case dy of
adam@2: None => return No dice
adam@2: | Some dy => return
adam@2: Endpoint: {[dy.Endpoint]}
adam@2: Local ID: {[dy.LocalId]}
adam@2:
adam@1:
adam@1: fun main () = return
adam@1:
adam@1: