module PrintResults: sig .. end
sig
end
module Make: functor (Dom : Relational.Domain) -> sig .. end
functor (
Dom
:
Relational.Domain
) ->