Module Domainlevel1

module Domainlevel1: sig .. end

Functor to transform an abstract domain interface from level 0 to level 1 (internal)

module type Level0 = sig .. end

Abstract domain of level 1

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