|
name
|
word10-def
|
|
version
|
1.98
|
|
requires
|
|
|
meta.description
|
Definition of 10-bit words
|
|
meta.author
|
Joe Leslie-Hurd <joe@gilith.com>
|
|
meta.license
|
MIT
|
|
meta.provenance
|
HOL Light theory extracted on 2011-07-25
|
|
meta.show
|
"Data.Bool"
|
|
meta.show
|
"Data.List"
|
|
meta.show
|
"Data.Word10"
|
|
meta.show
|
"Data.Word10.Bits"
|
|
meta.show
|
"Number.Natural"
|
|
meta.show
|
"Probability.Random"
|
|
subs
|
2 subs
|
name
|
word
|
|
imports
|
|
|
package
|
word-1.121
|
|
interpretation
|
interpretation
-
type "Data.Word.word" as "Data.Word10.word10"
-
const "Data.Word.*" as "Data.Word10.*"
-
const "Data.Word.+" as "Data.Word10.+"
-
const "Data.Word.-" as "Data.Word10.-"
-
const "Data.Word.<" as "Data.Word10.<"
-
const "Data.Word.<=" as "Data.Word10.<="
-
const "Data.Word.^" as "Data.Word10.^"
-
const "Data.Word.~" as "Data.Word10.~"
-
const "Data.Word.and" as "Data.Word10.and"
-
const "Data.Word.bit" as "Data.Word10.bit"
-
const "Data.Word.fromNatural" as "Data.Word10.fromNatural"
-
const "Data.Word.modulus" as "Data.Word10.modulus"
-
const "Data.Word.not" as "Data.Word10.not"
-
const "Data.Word.or" as "Data.Word10.or"
-
const "Data.Word.random" as "Data.Word10.random"
-
const "Data.Word.shiftLeft" as "Data.Word10.shiftLeft"
-
const "Data.Word.shiftRight" as "Data.Word10.shiftRight"
-
const "Data.Word.toNatural" as "Data.Word10.toNatural"
-
const "Data.Word.width" as "Data.Word10.width"
-
const "Data.Word.Bits.compare" as "Data.Word10.Bits.compare"
-
const "Data.Word.Bits.fromWord" as "Data.Word10.Bits.fromWord"
-
const "Data.Word.Bits.normal" as "Data.Word10.Bits.normal"
-
const "Data.Word.Bits.toWord" as "Data.Word10.Bits.toWord"
|
|