Module 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