module Container:sig..end
type ('a, 'b) type_class = {
|
length : |
|
is_empty : |
|
iter : |
|
fold : |
|
exists : |
|
for_all : |
|
find : |
|
to_list : |
|
to_array : |
module type S0_noclass =sig..end
module type S0 =sig..end
module type S0_phantom_noclass =sig..end
module type S0_phantom =sig..end
module type S1_noclass =sig..end
module type S1 =sig..end
module Check: functor (T : sigend) -> functor (M : sigval length : 'a T.container -> intval is_empty : 'a T.container -> boolval iter : 'a T.container -> f:('a T.elt -> unit) -> unitval fold : 'a T.container -> init:'b -> f:('b -> 'a T.elt -> 'b) -> 'bval exists : 'a T.container -> f:('a T.elt -> bool) -> boolval for_all : 'a T.container -> f:('a T.elt -> bool) -> boolval find : 'a T.container -> f:('a T.elt -> bool) -> 'a T.elt optionval to_list : 'a T.container -> 'a T.elt listval to_array : 'a T.container -> 'a T.elt arrayend) -> sig .. endmodule Check_S0: module Check_S0_phantom: module Check_S1: