feat fut: add infix, builds a INFIX as a 1st class module

This commit is contained in:
Simon Cruanes 2023-06-12 22:06:48 -04:00
parent 7c853861d8
commit d766b362f1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 10 additions and 0 deletions

View file

@ -354,3 +354,9 @@ end) =
Infix_ (struct Infix_ (struct
let pool = Some X.pool let pool = Some X.pool
end) end)
let[@inline] infix pool : (module INFIX) =
let module M = Infix (struct
let pool = pool
end) in
(module M)

View file

@ -154,3 +154,7 @@ include INFIX
module Infix (_ : sig module Infix (_ : sig
val pool : Pool.t val pool : Pool.t
end) : INFIX end) : INFIX
val infix : Pool.t -> (module INFIX)
(** [infix pool] makes a new infix module.
@since 0.2 *)