TicTacToe - 0.1.0

Stdlib.Trait.DivMod

Definitions

trait type DivMod ASource#

Constructors

| mkDivMod { div : A -> A -> A; mod : A -> A -> A }

open DivMod public