Module Rel_list.Table_env

Table environments.

type t

The type for table environments. Maps tables to their content.

val empty : t

empty has no tables.

val add : 'a Rel.Table.t -> 'a list -> t -> t

add t l env binds table t to l in env.

val find : 'a Rel.Table.t -> t -> 'a list option

find t env finds table t in env. .