Lines Matching defs:entry
22 type entry
23 val name : entry -> string
24 val aliases : entry -> string list
25 val protocol : entry -> int
26 val getByName : string -> entry option
27 val getByNumber : int -> entry option
32 type entry = string * string list * int
34 (* The RTS calls return either zero or the address of the entry. *)
35 datatype result = AResult of entry | NoResult
37 val name: entry -> string = #1
38 val aliases : entry -> string list = #2
39 val protocol : entry -> int = #3