public PtRegularParameter(PonyTokenSpan span, PtIdentifier name, PtType type, PtExpression?value)
: base(span)
{
Name = name;
Type = type;
Value = value;
}
public PtField(PonyTokenSpan span, PtFieldKind kind, PtIdentifier name, PtType type, PtExpression?value, PtString?doc)
: base(span)
{
Kind = kind;
Name = name;
Type = type;
Value = value;
}
public PtSubType(PonyTokenSpan span, PtType sub, PtType super)
: base(span)
{
Sub = sub;
Super = super;
}
public PtAs(PonyTokenSpan span, PtExpression value, PtType type)
: base(span)
{
Value = value;
Type = type;
}
public PtViewpointType(PonyTokenSpan span, PtType type, PtType arrow)
: base(span)
{
Type = type;
Arrow = arrow;
}
public PtArrayType(PonyTokenSpan span, PtType type)
: base(span)
{
Type = type;
}