Module TypedSTerm.Subst

type t = (termterm) Var.Subst.t
val empty : t
val mem : t -> term Var.t -> bool
val add : t -> term Var.t -> term -> t

Add new binding to substitution Fails if the variable is bound already

val find : t -> term Var.t -> term option
val find_exn : t -> term Var.t -> term
raises Not_found

if the variable is not present

val rename_var : t -> term Var.t -> t * term Var.t
val merge : t -> t -> t
val eval : t -> term -> term
val eval_nonrec : t -> term -> term

Evaluate under substitution, but consider the substitution as not idempotent

include Interfaces.PRINT with type t := t
type t
val pp : t CCFormat.printer
val to_string : t -> string