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

/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/
H A DibmLib.sml339 val i0 = term_of_int ((int_of_term suc_i0) - 1); value
[all...]

Completed in 43 milliseconds