Searched defs:splits (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml1573 fun splits acc no ty = if (no = 0) then List.rev (ty::acc) else function

Completed in 30 milliseconds