Searched refs:mk_or (Results 1 - 7 of 7) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DregexpSyntax.sig19 val mk_or : term list -> term value
H A DregexpSyntax.sml33 fun mk_or tlist = mk_comb(or_tm,listSyntax.mk_list(tlist,regexp_ty)); function
230 | Or rlist => mk_or (List.map mk_regexp rlist)
/seL4-l4v-10.1.1/graph-refine/
H A Dlogic.py15 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8,
463 return mk_implies (mk_and (pv, pv2), foldr1 (mk_or,
484 return mk_implies (pv, mk_or (out1, out2))
545 return lambda offs: foldr1 (mk_or,
1638 return mk_or (norm_mk_not (x), norm_mk_not (y))
H A Dpseudo_compile.py17 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8,
H A Dsearch.py18 mk_word32, mk_word8, mk_times, Expr, Type, mk_or, mk_eq, mk_memacc,
H A Dsolver.py178 foldr1, mk_or, boolT, word32T, word8T, mk_implies, Type, get_global_wrapper)
1960 path_cond = fold_assoc_balanced (mk_or, pcs)
H A Dsyntax.py1377 def mk_or (x, y): function
1486 mk_eq, mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32,

Completed in 584 milliseconds