Module TypedSTerm.Subst

module Subst: sig .. end

type t = (TypedSTerm.term, TypedSTerm.term) Var.Subst.t

val empty : t

val mem : t -> TypedSTerm.term Var.t -> bool

val add : t ->
       TypedSTerm.term Var.t -> TypedSTerm.term -> t

val find : t -> TypedSTerm.term Var.t -> TypedSTerm.term option

val find_exn : t -> TypedSTerm.term Var.t -> TypedSTerm.term

Raises Not_found if the variable is not present

val eval : t -> TypedSTerm.term -> TypedSTerm.term

val eval_head : t -> TypedSTerm.term -> TypedSTerm.term

include Interfaces.PRINT