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