Module Relation

module Relation: sig .. end

module type R = sig .. end

module Make: 
functor (E : Tools.Base) -> sig .. end