search for: max_elt

Displaying 3 results from an estimated 3 matches for "max_elt".

Did you mean: max_e
2017 Jul 24
0
Re: [PATCH] common/mlstdutils: Implement StringSet.
...; bool) -> t -> bool > +val exists: (elt -> bool) -> t -> bool > +val filter: (elt -> bool) -> t -> t > +val partition: (elt -> bool) -> t -> t * t > +val cardinal: t -> int > +val elements: t -> elt list > +val min_elt: t -> elt > +val max_elt: t -> elt > +val choose: t -> elt > +val split: elt -> t -> t * bool * t This interface fails to compile for me (Fedora 25, OCaml 4.02.3): OCAMLCMI stringSet.cmi OCAMLOPT stringSet.cmx File "stringSet.ml", line 1: Error: The implementation stringSet.ml does...
2017 Jul 21
4
[PATCH] common/mlstdutils: Implement StringSet.
...> 'a +val for_all: (elt -> bool) -> t -> bool +val exists: (elt -> bool) -> t -> bool +val filter: (elt -> bool) -> t -> t +val partition: (elt -> bool) -> t -> t * t +val cardinal: t -> int +val elements: t -> elt list +val min_elt: t -> elt +val max_elt: t -> elt +val choose: t -> elt +val split: elt -> t -> t * bool * t diff --git a/dib/elements.ml b/dib/elements.ml index d237eeb7f..6d668ea64 100644 --- a/dib/elements.ml +++ b/dib/elements.ml @@ -26,8 +26,6 @@ open Utils open Printf -module StringSet = Set.Make (String) - type e...
2014 Feb 25
2
[PATCH supermin v4] Supermin 5 rewrite.
...all : (elt -> bool) -> t -> bool + val exists : (elt -> bool) -> t -> bool + val filter : (elt -> bool) -> t -> t + val partition : (elt -> bool) -> t -> t * t + val cardinal : t -> int + val elements : t -> elt list + val min_elt : t -> elt + val max_elt : t -> elt + val choose : t -> elt + val split : elt -> t -> t * bool * t +end + +val package_set_of_list : package list -> PackageSet.t + +(** Package handler settings, passed to [ph_init] function. *) +type settings = { + debug : int; (** Debugging level...