package setr
-
setr
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package setr
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val singleton : 'sym -> 'sym -> 'sym tval of_assoc_list : ('sym * 'sym) list -> 'sym tval of_iter_mem_get :
(('sym -> 'sym -> unit) -> unit) ->
('sym -> bool) ->
('sym -> 'sym) ->
'sym tval fold : ('sym -> 'sym -> 'b -> 'b) -> 'sym t -> 'b -> 'bval iter : ('sym -> 'sym -> unit) -> 'sym t -> unitval mem : 'sym t -> 'sym -> boolval get : 'sym t -> 'sym -> 'symval to_assoc_list : 'sym t -> ('sym * 'sym) listval empty : 'sym cval is_empty : 'sym c -> bool