Functor Unit_domain.Make

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
Parameters:
Value : Abstract_value.S
Loc : Abstract_location.S

include Abstract_domain.S_with_Structure
module Store: Abstract_domain.Store  with type state := state