Searched defs:ar (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/holyhammer/legacy/ |
H A D | hh_write.ml | 377 let ar = get_type_arity t in var
|
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
H A D | Opentheory.sml | 59 val (ar,ra) = CONJ_PAIR bij value
|
H A D | Logging.sml | 351 val ar = ASSUME (mk_ar(abs,rep,a)) value 659 val ar = mk_thm([],mk_ar(abs,rep,a)) value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
H A D | ffi.c | 765 ffi_closure_mips_inner_O32(ffi_closure *closure, void *rvalue, ffi_arg *ar, double *fpr) argument 866 copy_struct_N32(char *target, unsigned offset, ffi_abi abi, ffi_type *type, int argn, unsigned arg_offset, ffi_arg *ar, ffi_arg *fpr, int soft_float) argument 919 ffi_closure_mips_inner_N32(ffi_closure *closure, void *rvalue, ffi_arg *ar, ffi_arg *fpr) argument [all...] |
/seL4-l4v-10.1.1/HOL4/src/boss/ |
H A D | prove_base_assumsScript.sml | 106 val (ar,ra) = definition(Tyop^"_bij") |> CONJ_PAIR value
|
Completed in 41 milliseconds