From 6cfa7307de9caf88cd4c7cf81bd450d4c8ca66ff Mon Sep 17 00:00:00 2001
From: "Kye W. Shi" <shi.kye@gmail.com>
Date: Fri, 19 Jun 2020 15:46:58 -0700
Subject: [PATCH] CCFun: include module type of Infix

---
 src/core/CCFun.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/core/CCFun.mli b/src/core/CCFun.mli
index 64814f31..83ba6f8f 100644
--- a/src/core/CCFun.mli
+++ b/src/core/CCFun.mli
@@ -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. *)