TicTacToe - 0.1.0

Stdlib.Trait.DivMod

Definitions

trait type DivMod ASource#

Constructors

mkDivMod@{ {-# isabelle-operator: {name: "div", prec: 70, assoc: left} #-} div : A -> A -> A; {-# isabelle-operator: {name: "mod", prec: 70, assoc: left} #-} mod : A -> A -> A; }

open DivMod public