Up
–
core_kernel
»
Core_kernel
» Bounded_index
Module
Core_kernel.Bounded_index
module
type
S
=
sig
...
end
module
Make
:
functor
(
M
:
sig
...
end
)
->
S