class transform :object
..end
method constraint_ : constraint_ -> constraint_
method decl : decl -> decl
method expr : expr -> expr
method field : field -> field
method poly_expr : poly_expr -> poly_expr
method repr : repr -> repr
method rhs : rhs -> rhs
method summand : summand -> summand
method gsummand : gsummand -> gsummand
tagspec -> tagspec
: method variant : variant -> variant