sig val parse : string -> Netdn.dn val print : Netdn.dn -> string end