Module Indexing.Unsafe_cardinalSource

Parameters

Signature

Sourcetype 'a t
Sourcemodule Const (M : sig ... end) : CARDINAL with type n = M.t t
Sourcemodule Eq (M : sig ... end) : sig ... end