Module Reg_class_utils
module type T = sig ... endmodule type Tbl = sig ... endDefinition of tables with register classes as keys. All register classes are always bound.
module Make_tbl
(RC : Reg_class_utils.T) :
Reg_class_utils.Tbl with type reg_class = RC.t