Searched defs:column (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | SourcePos.sig | 18 val column: t -> int value
|
| H A D | SourcePos.sml | 20 val column = f #column value
[all...] |
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Array2Signature.sml | 41 val column: 'a array * int -> 'a Vector.vector value
|
| H A D | IntArray2.sml | 45 val column: array * int -> vector value
75 and column(a, j) = function
90 and column(a, j) = function
105 and column(a, j) = function
120 and column(a, j) = function
135 and column(a, j) = function
|
| H A D | Array2.sml | 98 fun column(a, j) = Vector.tabulate(nRows a, fn i => sub(a, i, j)) function
|
| /seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | ArrayVector.sml | 345 and column = fn (a, i) => row(a, FixedInt.fromLarge i) value
|
| /seL4-l4v-master/HOL4/src/pattern_matches/ |
| H A D | patternMatchesLib.sml | 1900 type column = (term * (term list * term) list) type
[all...] |
Completed in 104 milliseconds