Import_approx
val really_import : Simple_value_approx.descr -> Simple_value_approx.descr
val really_import_approx : Simple_value_approx.t -> Simple_value_approx.t
val import_symbol : Symbol.t -> Simple_value_approx.t