The Fortress Language Specification - CiteSeerX

40.10.15 opr ‖ nat m(self,other: BinaryEndianLinearEndianSequence
b,bigEndianBytes,bigEndianBits,
m,bigEndianSequence):
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n + m,bigEndianSequence
[Description to be supplied.]
40.10.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.10.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.10.18 littleEndian():BinaryEndianLinearEndianSequenceb,false,false, n,bigEndianSequence
40.10.19 bigEndian():BinaryEndianLinearEndianSequenceb,true,true, n,bigEndianSequence
[Description to be supplied.]
40.10.20 littleEndianBits():BinaryEndianLinearEndianSequenceb,bigEndianBytes,false,
n,bigEndianSequence
40.10.21 bigEndianBits():BinaryEndianLinearEndianSequenceb,bigEndianBytes,true,
n,bigEndianSequence
[Description to be supplied.]
40.10.22 littleEndianSequence():BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n,false
40.10.23 bigEndianSequence():BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n,true
[Description to be supplied.]
302