Searched defs:InstantiatedRelation (Results 1 – 1 of 1) sorted by relevance
231 struct InstantiatedRelation { struct235 std::optional<InstantiatedRelation> argument