sig
  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
end