Searched defs:mk_or (Results 1 - 3 of 3) 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
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py1377 def mk_or (x, y): function

Completed in 67 milliseconds