Module Mavryk_protocol_environment_demo_counter.Bounded
module type BOUNDS = sig ... endmodule type S = sig ... endmodule Int64 (B : sig ... end) : sig ... endmodule Int32 (B : sig ... end) : sig ... endmodule Int31 (B : sig ... end) : sig ... endmodule Int16 (B : sig ... end) : sig ... endmodule Uint16 (B : sig ... end) : sig ... endmodule Int8 (B : sig ... end) : sig ... endmodule Uint8 (B : sig ... end) : sig ... end