The Fortress Language Specification - CiteSeerX

40.6.16 opr ‖ nat m,bool bigEndianSequence
(self,other: BinaryEndianWordb,bigEndianBytes,bigEndianBits):
BinaryEndianLinearEndianSequenceb + 1,bigEndianBytes,bigEndianBits,
2,bigEndianSequence
where {bigEndianSequence = bigEndianBytes }
[Description to be supplied.]
40.6.17 opr ‖ nat m,bool bigEndianSequence,nat radix,nat q,nat k,nat v
(self,other: NaturalNumeralm,radix, v):
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
k + 1,bigEndianSequence
where {bigEndianSequence = bigEndianBytes,radix = 2 q , q · m = k · 2 b }
[Description to be supplied.]
40.6.18 opr ‖ nat m,bool bigEndianSequence,nat radix,nat q,nat k,nat v
(other: NaturalNumeralm,radix, v,self):
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
k + 1,bigEndianSequence
where {bigEndianSequence = bigEndianBytes,radix = 2 q , q · m = k · 2 b }
[Description to be supplied.]
40.6.19 bitShuffle(other: BinaryEndianWordb,bigEndianBytes,bigEndianBits):
BinaryEndianWordb + 1,bigEndianBytes,bigEndianBits
where { b < maxBinaryWordBitLog }
[Description to be supplied.]
40.6.20 bitUnshuffle():(BinaryEndianWordb − 1,bigEndianBytes,bigEndianBits,
BinaryEndianWordb − 1,bigEndianBytes,bigEndianBits)
where { b > 0 }
[Description to be supplied.]
40.6.21 littleEndian():BinaryEndianWordb,false,false
40.6.22 bigEndian():BinaryEndianWordb,true,true
[Description to be supplied.]
287