31family NumericalContract : Type 0
32constructor NumericalContractOf
33field unrestricted numericalProfile : (family StdNumericProfile)
34field unrestricted numericalOperations : (family StdList (family StdNumericOperation))
35field unrestricted numericalRelation : (family NumericalRelation)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.