Searched defs:cols (Results 1 - 4 of 4) sorted by path

/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml1352 val cols = dest_PMATCH_COLS t value
1594 val cols = length pts value
2137 val cols = dest_PMATCH_COLS t' value
2269 val cols = dest_PATLIST_COLS initial_value pats value
[all...]
H A DpatternMatchesSyntax.sml483 val cols = get_cols [] vs rows'' value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml678 and cols = alignTab aligns (List.map tl rows) value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml678 and cols = alignTab aligns (List.map tl rows) value

Completed in 89 milliseconds