Module Bddapron.Domainlevel1

module Domainlevel1: sig .. end

module type Level0 = sig .. end

module type Level1 = sig .. end

module Make: 
functor (Level0 : Level0) -> Level1  with type ('a,'b) man = ('a,'b) Level0.man
  	  and type 'b t0 = 'b Level0.t