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

/seL4-l4v-master/HOL4/examples/HolCheck/examples/
H A Damba_ahb.sml34 val nw = 16; value
H A Damba_common.sml31 val nw = 16; (* 4 or 16 *) value

Completed in 34 milliseconds