Module 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 DBEnv.t -> t -> t