Searched refs:mk_or (Results 1 - 10 of 10) sorted by last modified time

/seL4-l4v-master/graph-refine/
H A Dsyntax.py1379 def mk_or (x, y): function
1488 mk_eq, mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32,
H A Dsolver.py176 foldr1, mk_or, boolT, word32T, word8T, mk_implies, Type, get_global_wrapper)
1958 path_cond = fold_assoc_balanced (mk_or, pcs)
H A Dsearch.py16 mk_word32, mk_word8, mk_times, Expr, Type, mk_or, mk_eq, mk_memacc,
H A Dpseudo_compile.py15 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8,
H A Dlogic.py13 mk_less_eq, mk_less, mk_implies, mk_and, mk_or, mk_not, mk_word32, mk_word8,
461 return mk_implies (mk_and (pv, pv2), foldr1 (mk_or,
482 return mk_implies (pv, mk_or (out1, out2))
543 return lambda offs: foldr1 (mk_or,
1636 return mk_or (norm_mk_not (x), norm_mk_not (y))
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DRegexp_Numerics.sml238 fun mk_ivls [] acc = mk_or (finalize acc)
379 in mk_or [span, upper]
385 in mk_or [span,lower]
399 mk_or[num_interval dir w (1,1), base]
424 in mk_or [span, upper]
430 in mk_or [span,lower]
H A DRegexp_Type.sml140 fun mk_or [] = EMPTY function
141 | mk_or [x] = x
142 | mk_or list = Or list;
H A DregexpSyntax.sig20 val mk_or : term list -> term value
H A DregexpSyntax.sml34 fun mk_or tlist = mk_comb(or_tm,listSyntax.mk_list(tlist,regexp_ty)); function
237 | Or rlist => mk_or (List.map regexp_to_term rlist)
H A DRegexp_Type.sig53 val mk_or : regexp list -> regexp value

Completed in 193 milliseconds