module Stdlib.Trait.Numeric; import Stdlib.Data.Fixity open; import Stdlib.Trait.Integral open; trait type Numeric A := mkNumeric { integralI : Integral A; syntax operator / multiplicative; / : A -> A -> A }; open Numeric using {/} public;Last modified on 2024-04-19 16:39 UTC