module type BINDINGS = functor (F : FOREIGN with type 'a result = unit) -> sig .. end
functor (
F
:
FOREIGN
with type 'a result = unit
) ->
sig
end
FOREIGN with type 'a result = unit