Module Oper.Difference


module Difference: sig .. end

module P: 
functor (G : Sig.P) -> sig .. end
Persistent implementation
module I: 
functor (G : Sig.I) -> sig .. end
Imperative implementation