sig
type value
type location = Precise_locs.precise_location
val value_key : Numerors_domain.value Structure.Key_Value.k
val ok : bool
val add_numerors_value :
(module Abstract_value.Internal) -> (module Abstract_value.Internal)
val reduce_error :
(module Abstract_value.External with type t = 'v) -> 'v -> 'v
val numerors_domain :
unit ->
(module Abstract_domain.Internal with type location = Numerors_domain.location and type value =
Numerors_domain.value)
end