obj
IEquatable<LhsExpr>
IStructuralEquatable
IComparable<LhsExpr>
IComparable
IStructuralComparable
LhsArrAcc(LhsExpr, NatExpr)
LhsExpr
NatExpr
LhsTupAcc(LhsExpr, int)
int
LhsVar(QName, QType)
QName
QType
this.pprinter
int -> Printer