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

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHM_DepGraph.sml105 val ns2 = Binaryset.addList(empty_nodeset, nl2) value
/seL4-l4v-10.1.1/HOL4/src/holyhammer/
H A DholyHammer.sml175 val ns2 = hide_out (List.mapPartial f) ns1 value

Completed in 53 milliseconds