Elsa Ast Type ATY DependentQ

ATY_DependentQ (original Elsa name: DependentQType) is a Ast subtype node belonging to AtomicType. ATY_DependentQ is a record.

Record Data Fields

• dependent_type_name : stringRef
• dependent_q_type_var : Variable
• dependent_access : accessKeyword
• first : AtomicType
• dependent_q_rest : PQName

Comments

Please make your modifications only below, because the content above will be regenerated automatically from time to time.