reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2313 pwqp = read_term(s, map, v); 2314 map = read_optional_formula(s, map, v, 0);