nspec - 0.1.1
Source
Index
Stdlib.Trait.DivMod
Contents
Description
Definitions
Description
Definitions
trait
type
DivMod
A
Source
#
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
