mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-06 11:15:31 -05:00
fix formatting
This commit is contained in:
parent
df0e442956
commit
1dc046c6e9
2 changed files with 4 additions and 6 deletions
|
|
@ -8,10 +8,8 @@ include Sys
|
||||||
include Stdlib
|
include Stdlib
|
||||||
include Fun
|
include Fun
|
||||||
|
|
||||||
|
let[@inline] and_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] or_p f g x = (f x) || (g x)
|
|
||||||
|
|
||||||
let[@inline] compose f g x = g (f 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] compose_binop f g x y = g (f x) (f y)
|
||||||
let[@inline] curry f x y = f (x, y)
|
let[@inline] curry f x y = f (x, y)
|
||||||
|
|
|
||||||
|
|
@ -9,12 +9,12 @@ val and_p : ('a -> bool) -> ('a -> bool) -> 'a -> bool
|
||||||
(** [and_p f g x] is [(f x) && (g x)].
|
(** [and_p f g x] is [(f x) && (g x)].
|
||||||
Produces a predicate which is a conjunction of the two predicates.
|
Produces a predicate which is a conjunction of the two predicates.
|
||||||
*)
|
*)
|
||||||
|
|
||||||
val or_p : ('a -> bool) -> ('a -> bool) -> 'a -> bool
|
val or_p : ('a -> bool) -> ('a -> bool) -> 'a -> bool
|
||||||
(** [or_p f g x] is [(f x) || (g x)].
|
(** [or_p f g x] is [(f x) || (g x)].
|
||||||
Produces a predicate which is a disjunction of the two predicates.
|
Produces a predicate which is a disjunction of the two predicates.
|
||||||
*)
|
*)
|
||||||
|
|
||||||
val compose : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
|
val compose : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c
|
||||||
(** [compose f g x] is [g (f x)]. Composition. *)
|
(** [compose f g x] is [g (f x)]. Composition. *)
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue