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.Internal
val structure : t structure