Variable sequant::io::serialization::v1::parse::number_def¶ Defined in File deserialize.cpp Variable Documentation¶ auto sequant::io::serialization::v1::parse::number_def = x3::double_ >> -('/' >> x3::double_)¶