The Fortress Language Specification - CiteSeerX

40.10.2 coercion nat m,nat radix,nat q,nat k,nat v(x: NaturalNumeralm,radix, v)
where {radix = 2 q , q · m = n · 2 bk }
[Description to be supplied.]
40.10.3 opr [j: IndexInt] : BinaryEndianWordb,bigEndianBytes,bigEndianBits
throws { IndexOutOfBoundsException }
40.10.4 opr nat k[j: IntegerStatick] : BinaryWordb,bigEndianBytes,bigEndianBits
where { k < n }
[Description to be supplied.]
40.10.5 opr nat m[r:RangeOfStaticSizeIndexInt, m] :
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
m,bigEndianSequence
throws { IndexOutOfBoundsException } where { m ≤ n }
40.10.6 opr int a,nat m,int c[r: StaticRangea, m, c] :
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
m,bigEndianSequence
where { 0 ≤ a < n, 0 ≤ a + m · c < n }
[Description to be supplied.]
40.10.7 opr [j: IndexInt] := (v: BinaryEndianWordb,bigEndianBytes,bigEndianBits):
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n,bigEndianSequence
throws { IndexOutOfBoundsException }
40.10.8 opr nat k[j: IntegerStatick] :=
(v: BinaryEndianWordb,bigEndianBytes,bigEndianBits):
BinaryEndianLinearEndianSequenceb,bigEndianBytes,bigEndianBits,
n,bigEndianSequence
where { k < n }
[Description to be supplied.]
300