The Fortress Language Specification - CiteSeerX

40.9.16 opr ‖ nat m,nat radix,nat q,nat k,nat v(self,other: NaturalNumeralm,radix, v):
LinearSequenceT, n + k where {radix = 2 q , q · m = k · 2 b }
[Description to be supplied.]
40.9.17 opr ‖ nat m,nat radix,nat q,nat k,nat v(other: NaturalNumeralm,radix, v,self):
LinearSequenceT, n + k where {radix = 2 q , q · m = k · 2 b }
[Description to be supplied.]
40.9.18 littleEndian():BinaryEndianLinearEndianSequenceb,false,false, n,bigEndianSequence
40.9.19 bigEndian():BinaryEndianLinearEndianSequenceb,true,true, n,bigEndianSequence
[Description to be supplied.]
40.9.20 littleEndianBits():BinaryEndianLinearEndianSequenceb,bigEndianBytes,false,
n,bigEndianSequence
40.9.21 bigEndianBits():BinaryEndianLinearEndianSequenceb,bigEndianBytes,true,
n,bigEndianSequence
[Description to be supplied.]
40.9.22 littleEndianSequence():BinaryLinearEndianSequenceb, n,false
40.9.23 bigEndianSequence():BinaryLinearEndianSequenceb, n,true
[Description to be supplied.]
40.9.24 splitnat b ′ ():BinaryLinearEndianSequenceb ′ , n · 2 b−b′ ,bigEndianSequence
where { b ′ ≤ b }
[Description to be supplied.]
297