Module `Logtk__Term.DB`

De Bruijn

val is_closed : t -> bool
val shift : ?⁠depth:int -> int -> t -> t
val unshift : ?⁠depth:int -> int -> t -> t
val eval : t Logtk.DBEnv.t -> t -> t