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