Searched defs:variant (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Derrata.c58 uint32_t variant = (proc_id >> 20) & MASK(4); local
/seL4-l4v-10.1.1/HOL4/src/hol88/
H A Dhol88Lib.sig23 val variant : term list -> term -> term value
H A Dhol88Lib.sml67 fun variant L tm = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DName.sml41 fun variant n = if avoid n then variant (n ^ "'") else n function
55 fun variant i = function
H A DTptp.sml130 fun variant avoid s = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DName.sml41 fun variant n = if avoid n then variant (n ^ "'") else n function
55 fun variant i = function
H A DTptp.sml130 fun variant avoid s = function
/seL4-l4v-10.1.1/HOL4/src/new-datatype/
H A DWitness.sml38 fun variant thm = let function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/mosml/
H A DBuildCommand.sml13 fun variant str = (* get an unused file name in the current directory *) function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalTerm-sig.sml26 val variant : term list -> term -> term value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A DvariableScript.sml365 val variant = value
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A DvariableScript.sml371 val variant = value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig269 val variant : string -> string list -> string value
H A DUseful.sml597 fun variant x vars = if mem x vars then variant (x ^ "'") vars else x; function
/seL4-l4v-10.1.1/HOL4/src/datatype/record/
H A DRecordType.sml55 fun variant tml tm = let function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sig128 val variant : string -> string list -> string value
H A DmlibUseful.sml506 fun variant x vars = if mem x vars then variant (x ^ "'") vars else x; function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dacl2encodeLib.sml1419 val variant = acl2_variant (map (fst o dest_var) vars) newvar value
/seL4-l4v-10.1.1/HOL4/src/0/
H A DTerm.sml365 val variant = gen_variant inST "variant" value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml849 val variant = gen_variant inST "variant" value

Completed in 180 milliseconds