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