Searched defs:rows (Results 1 - 8 of 8) sorted by last modified time

/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml483 val rows value
1617 val rows = List.rev rows value
3792 val rows = List.map mk_row rs value
[all...]
H A DpatternMatchesSyntax.sml[all...]
H A DparsePMATCH.sml274 val rows = map (mk_row recursor) (strip_casesplit arg2) value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A Dselftest.sml570 val rows = alignTable format table value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A Dselftest.sml570 val rows = alignTable format table value
/seL4-l4v-master/HOL4/src/tfl/src/
H A DInduction.sml200 val rows = map (fn (pL, rhs) => (bring_to_front_list col_index pL,rhs)) value
308 val rows:row list = map (fn x => ([x], (th0,[]))) pats value
[all...]
/seL4-l4v-master/HOL4/src/1/
H A DPmatch.sml364 val rows = map (fn ((prefix, pL), rhs) => ((prefix, bring_to_front_list col_index pL), rhs)) rows0 value
777 val rows = zip (map (fn x => ([]:term list,[x])) pats) (map GIVEN (enumerate R)) value
[all...]
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dimatrix.h42 char **rows; member in struct:_imatrix

Completed in 95 milliseconds