Module Unit_domain

module Unit_domain: sig .. end

module Make: 
functor (Value : Abstract_value.S-> 
functor (Loc : Abstract_location.S-> Abstract_domain.Internal with type state = unit and type value = Value.t and type location = Loc.location