Inherited from Serializable
Inherited from java.io.Serializable
Inherited from Ast
Inherited from Adt
Inherited from Product
Inherited from Equals
Inherited from Any
Inherited by implicit conversion any2stringadd from
Refine to any2stringadd[Refine]
Inherited by implicit conversion StringFormat from
Refine to StringFormat[Refine]
Inherited by implicit conversion Ensuring from
Refine to Ensuring[Refine]
Inherited by implicit conversion ArrowAssoc from
Refine to ArrowAssoc[Refine]