Module Syntax.Env

module Env: sig .. end

Environments are maps whose domain is a set of free variable symbols. Typically used to travese quantified formulas.

type 'a t

val empty : 'a t

val push : 'a -> 'a t -> 'a t

val find : 'a t -> int -> 'a

val enum : 'a t -> 'a BatEnum.t