module Unit_domain: sig .. end
sig
end
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
functor (
Value
:
Abstract_value.S
) ->
Loc
Abstract_location.S
Abstract.Domain.Internal
with type state = unit and type value = Value.t and type location = Loc.location