Module `Shape.DeBruijn_env`

DeBruijn Environment for working with the recursive binders.

type 'a t

val empty : 'a Ocaml_typing.Shape.DeBruijn_env.t

val is_empty : 'a Ocaml_typing.Shape.DeBruijn_env.t -> bool

val push : 
  'a Ocaml_typing.Shape.DeBruijn_env.t ->
  'a ->
  'a Ocaml_typing.Shape.DeBruijn_env.t

val get_opt : 
  'a Ocaml_typing.Shape.DeBruijn_env.t ->
  de_bruijn_index:Ocaml_typing.Shape.DeBruijn_index.t ->
  'a option

Module Shape.DeBruijn_env