sig
  val get : Sym.t -> Sym.cl
  val apply : Sym.t
  val s : Sym.t
  val k : Sym.t
  val i : Sym.t
  val c : Sym.t
  val reify : Sym.tsym * int -> Sym.t
  val is : Sym.t -> bool
  val is_apply : Sym.t -> bool
  val is_s : Sym.t -> bool
  val is_k : Sym.t -> bool
  val is_i : Sym.t -> bool
  val is_c : Sym.t -> bool
  val is_reify : Sym.t -> bool
  val d_reify : Sym.t -> Sym.tsym * int
  val pp : 'a Pretty.printer -> (Sym.cl * 'a list) Pretty.printer
end