module Collection: functor (A : S) -> S_collection with type t = A.t
functor (
A
:
S
) ->
S_collection
with type t = A.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