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

/seL4-l4v-master/HOL4/examples/temporal_deep/src/model_check/
H A DmodelCheckLib.sml278 val bl = (high b)::(low b)::bl; value
487 val bl value
[all...]
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlReinforce.sml326 let val bl = dfind board targetd handle NotFound => [] in value
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DMD5.sml233 val bl = Word8.<< (Word8.andb (b,0wx03), 0w4) value
240 val bl = Word8.<< (Word8.andb (b,0wx0f), 0w2) value
247 val bl = Word8.andb (b,0wx3f) value
/seL4-l4v-master/HOL4/examples/ARM/v4/
H A Darm_evalLib.sml471 val bl = snd dm value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DImport.sml38 fun bl f s l = B [ function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml1268 val bl = with_exn (snd o dest_abs) left (mkDebugExn "build_call_graph" "Left term is not of the form: \\x.P x") value

Completed in 78 milliseconds