module Make: functor (Num : Bounding_box_intf.Numeric_S) -> S with module Num = Num with type a = Num.t
functor (
Num
:
Bounding_box_intf.Numeric_S
) ->
S
with module Num = Num
with type a = Num.t