sig
  type 'a t
  val create : int -> 'Syntax.ContextTable.t
  val add : 'Syntax.ContextTable.t -> 'Syntax.context -> '-> unit
  val replace : 'Syntax.ContextTable.t -> 'Syntax.context -> '-> unit
  val find : 'Syntax.ContextTable.t -> 'Syntax.context -> 'a
  val mem : 'Syntax.ContextTable.t -> 'Syntax.context -> bool
  val clear : 'Syntax.ContextTable.t -> unit
end