module Uninterp: sig end
Operations on
uninterpreted function symbols.
get f returns the uninterpreted function symbol associated with f,make n constructs a hashconsed representation of an uninterpreted function
symbol of name n, andpp p fmt (op, al) pretty-prints the appliation of op to the list of
arguments al depending on the value of Pretty.flag. See also Pretty.apply.
val get : Sym.t -> Sym.uninterp
val make : Name.t -> Sym.t
val is : Sym.t -> bool
val pp : 'a Pretty.printer -> (Sym.uninterp * 'a list) Pretty.printer