module Polynome: sig .. end
sig
end
exception Not_a_num
exception Maybe_zero
module type S = sig .. end
module type T = sig .. end
module Make: functor (X : S) -> T with type r = X.r
functor (
X
:
S
) ->
T
with type r = X.r