CCFun: include module type of Infix

This commit is contained in:
Kye W. Shi 2020-06-19 15:46:58 -07:00 committed by Simon Cruanes
parent a03b6e68e3
commit 6cfa7307de

View file

@ -86,6 +86,8 @@ module Infix : sig
(** [(f % g) x] or [(%) f g x] is [f (g x)]. Mathematical composition. *)
end
include module type of Infix
(** {2 Monad}
Functions with a fixed domain are monads in their codomain. *)