Module Rel_kit.Id

Types for table identifier.

TODO. It's not exactly what we want yet.

module type Base = sig ... end

Base signature

module Make (Base : Base) () : ID with type t = Base.t

Make (Base) () are identifiers from the base type Base.

module MakeInt () : INTABLE_ID

Rel.Type.int identifiers (XXX this should be abstract)