public MultipleFieldTypeDenoter(Identifier identifier, TypeDenoter type, FieldTypeDenoter fieldType, SourcePosition position) : base(position) { _identifier = identifier; _type = type; _fieldType = fieldType; }
public RecordTypeDenoter(FieldTypeDenoter fieldType, SourcePosition position) : base(position) { _fieldType = fieldType; }