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

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DGenRelNorm.sml67 val (common, ls, rs) = Binarymap.foldr foldthis ([],[],[]) bmap value
/seL4-l4v-10.1.1/HOL4/src/bag/
H A DbagSimps.sml51 fun common [] _ = [] (* like intersect but no setifying *) function
/seL4-l4v-10.1.1/HOL4/src/sort/
H A DpermLib.sml463 val common = first (fn e => mem e drop_ls) take_ls; value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml165 val common = List.rev (foldl calculate_intersection [] constrs) value

Completed in 53 milliseconds