Module Fixpoint

module Fixpoint: sig .. end
add x y requires x >= y

module type Domain = sig .. end
module Make: 
functor (D : Domain) -> sig .. end