Module VarUsage.Domain

module Domain: Datatype.Make(sig

type t = VarUsage.Occur.t VarUsage.Omap.t 

include Datatype.Serializable_undefined

val reprs : 'a VarUsage.Omap.t list
val name : string
end)

include Datatype.S_no_copy

val copy : Datatype.t -> Datatype.t