Module Symtable.Predef

module Set : Set.S with type elt = t
module Map : Map.S with type key = t