Searched refs:TupleKind (Results 1 – 2 of 2) sorted by relevance
16 struct TupleKind;20 struct TupleKindPtr : public std::shared_ptr<const TupleKind> {21 using Base = std::shared_ptr<const TupleKind>;40 struct TupleKind { struct41 TupleKind(const std::string &name) : name(name) {} in TupleKind() argument
51 std::string TupleKind::to_string() const in to_string()60 std::vector<std::string> TupleKind::params() const in params()72 TupleKindPtr TupleKind::apply(const Substitution &subs, in apply()91 TupleKindPtr TupleKind::left() const in left()100 TupleKindPtr TupleKind::right() const in right()116 TupleKindPtr::TupleKindPtr(Fixed) : Base(std::make_shared<TupleKind>("")) in TupleKindPtr()148 struct ProperTupleKind : public TupleKind {149 ProperTupleKind(const std::string &name) : TupleKind(name) {} in ProperTupleKind()176 struct Pair : public TupleKind {178 TupleKind(""), tuple1(tuple1), tuple2(tuple2) {} in Pair()