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
val structure : t Abstract_domain.structure
A structure matching the type of the domain.