Up – core_kernel » Core_kernel__ » Bounded_index_intf

Module `Core_kernel__.Bounded_index_intf`

module type S = sig ... end

module type Bounded_index = sig ... end