From 1dc046c6e9313f21ba96c9fc3d80db0ac978fd2b Mon Sep 17 00:00:00 2001 From: Ben Bellick Date: Sat, 24 Aug 2024 10:53:59 -0500 Subject: [PATCH] fix formatting --- src/core/CCFun.ml | 6 ++---- src/core/CCFun.mli | 4 ++-- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/src/core/CCFun.ml b/src/core/CCFun.ml index 8a3e5375..f36af982 100644 --- a/src/core/CCFun.ml +++ b/src/core/CCFun.ml @@ -8,10 +8,8 @@ include Sys include Stdlib include Fun - -let[@inline] and_p f g x = (f x) && (g x) -let[@inline] or_p f g x = (f x) || (g x) - +let[@inline] and_p f g x = f x && g x +let[@inline] or_p f g x = f x || g x let[@inline] compose f g x = g (f x) let[@inline] compose_binop f g x y = g (f x) (f y) let[@inline] curry f x y = f (x, y) diff --git a/src/core/CCFun.mli b/src/core/CCFun.mli index 913f28e0..c4f6d49b 100644 --- a/src/core/CCFun.mli +++ b/src/core/CCFun.mli @@ -9,12 +9,12 @@ val and_p : ('a -> bool) -> ('a -> bool) -> 'a -> bool (** [and_p f g x] is [(f x) && (g x)]. Produces a predicate which is a conjunction of the two predicates. *) - + val or_p : ('a -> bool) -> ('a -> bool) -> 'a -> bool (** [or_p f g x] is [(f x) || (g x)]. Produces a predicate which is a disjunction of the two predicates. *) - + val compose : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c (** [compose f g x] is [g (f x)]. Composition. *)