LOCAL
    types : SET OF STRING := TYPEOF (spc);
  END_LOCAL;
  IF  ((schema_prefix + 'FINITE_INTEGER_INTERVAL') IN  types) THEN
    RETURN  (spc\finite_integer_interval.min);
  END_IF;
  IF  ((schema_prefix + 'INTEGER_INTERVAL_FROM_MIN') IN  types) THEN
    RETURN  (spc\integer_interval_from_min.min);
  END_IF;
  IF  ((schema_prefix + 'FINITE_REAL_INTERVAL') IN  types) THEN
    RETURN  (spc\finite_real_interval.min);
  END_IF;
  IF ((schema_prefix + 'REAL_INTERVAL_FROM_MIN') IN types) THEN
    RETURN  (spc\real_interval_from_min.min);
  END_IF;
  RETURN (?);