Lines Matching defs:terms
26 - the types and terms declared in the current segment (stored in
259 type shared_readmaps = {strings : int -> string, terms : string -> term}
717 type shared_writemaps = {strings : string -> int, terms : term -> string}
722 terms : t -> term list, strings : t -> string list}
872 fun 'a new {thydataty, merge, read, write, terms, strings, pp} = let
878 fun terms' t = terms (vdest t)
885 terms=terms', pp=pp', strings=strings'});
973 val {write,terms,strings,...} =
980 terms t @ tmlist,