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 101 milliseconds