Previous
Up
Next
Module
Bounded_int_table
module
Bounded_int_table:
sig
..
end
include
Core_kernel.Bounded_int_table