Module Sig
module Sig: sig end
Mapping a term transformer f over a.
val mk_mult : Term.t -> Term.t -> Term.t
val mk_inj : Term.t -> Term.t
val mk_mult_arith : Sym.arith -> Term.t list -> Term.t -> Term.t
val mk_mult_add : Term.t -> Term.t list -> Term.t
val mk_multl : Term.t list -> Term.t
val mk_expt : int -> Term.t -> Term.t
val mk_expt_arith : int -> Sym.arith -> Term.t list -> Term.t
val mk_expt_add : int -> Term.t list -> Term.t
val mk_div : Term.t -> Term.t -> Term.t
val mk_inv : Term.t -> Term.t
val map : (Term.t -> Term.t) -> Term.t -> Term.t
Mapping a term transformer f over a.