Searched defs:bounds (Results 1 - 2 of 2) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSmtLib.sml409 val (bounds, smtvars) = Lib.foldl_map create_bound_name (bounds, vars) value
431 val (bounds, name) = create_bound_name (bounds, var) value
534 val bounds = Redblackmap.mkDict Term.compare value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml456 val bounds = map compute_bound (tl dm) value

Completed in 94 milliseconds