Stack_class_utils
module type T = sig ... end
Definition of stack classes for a given backend.
module type Tbl = sig ... end
Definition of tables with stack classes as keys. All stack classes are always bound.
module Make_tbl (SC : T) : Tbl with type stack_class = SC.t