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

include Abstract_domain.S

val structure : t structure