Module ProofFormat.Env

type t
val of_list : int list -> t
val of_listi : 'a list -> t