Definitions
import Stdlib.Trait.Eq as Eq open using {Eq; module Eq} public
import Stdlib.Trait.Show as Show open using {Show; module Show} public
import Stdlib.Trait.Ord as Ord open using {Ord; module Ord} public
import Stdlib.Trait.Partial open public
import Stdlib.Trait.Natural open public
import Stdlib.Trait.Integral open public