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
  val numerors_domain :
    unit ->
    (module Abstract_domain.Internal with type location = Numerors_domain.location and type value = 
     Numerors_domain.value)
end