predicate.ml
stdune
stdune.filesystem_stubs
1 2 3 4 5 6 7 type 'a t = 'a -> bool let create x = x let true_ _ = true let false_ _ = false let test f x = f x let contramap t ~f x = t (f x)
1 2 3 4 5 6 7
type 'a t = 'a -> bool let create x = x let true_ _ = true let false_ _ = false let test f x = f x let contramap t ~f x = t (f x)