class virtual['a]
fold :object
..end
method constraint_ : constraint_ -> 'a
method virtual crush : 'a list -> 'a
method decl : decl -> 'a
method expr : expr -> 'a
method field : field -> 'a
method poly_expr : poly_expr -> 'a
method repr : repr -> 'a
method rhs : rhs -> 'a
method summand : summand -> 'a
method gsummand : gsummand -> 'a
tagspec -> 'a
: method variant : variant -> 'a