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 .. end| Parameters: |
|