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...