module Dictionary: functor (E : Enum) -> S_collection with type t = E.t
functor (
E
:
Enum
) ->
S_collection
with type t = E.t
include Data.S
module Joption: Data.S with type t = t option
Data.S
with type t = t option
module Jlist: Data.S with type t = t list
with type t = t list
module Jarray: Data.S with type t = t array
with type t = t array