Searched defs:f_name (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | IR.sml | 299 val (f_name, f_type) = dest_const f; value
315 val ((f_name,args,stms,outs):string * Tree.exp * Tree.stm list * Tree.exp) = ir value
|
| H A D | mechReasoning.sml | 979 val (f_name, _, (f_args,f_ir,f_outs), _, _, _) = spec; value
993 val (f_name, _, (f_args,_,f_outs), _, stat0, _) = spec; value
1129 val (f_name, f_type, (f_args,f_ir,f_outs), defs) = funCall.link_ir def; value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
| H A D | IR.sml | 282 val (f_name, f_type) = dest_const f; value
298 val ((f_name,args,stms,outs):string * Tree.exp * Tree.stm list * Tree.exp) = ir value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | IR.sml | 420 val (f_name, f_type) = dest_const f; value
443 val ((f_name,args,stms,outs):string * Tree.exp * Tree.stm list * Tree.exp) = ir value
|
| H A D | mechReasoning.sml | 1531 val (f_name, _, (f_args,f_ir,f_outs), _, _, _) = spec; value
1545 val (f_name, _, (f_args,_,f_outs), _, stat0, _, _, _, _) = spec; value
1685 val (f_name, f_type, (f_args,f_ir,f_outs), defs) = funCall.link_ir def; value
|
| /seL4-l4v-master/HOL4/examples/elliptic/c_output/ |
| H A D | c_outputLib.sml | 196 val (f_name, f_type) = dest_const f; value
517 val (f_name, f_type) = dest_const f; value
567 val (f_name, f_type) = dest_const main_fun; value
|
Completed in 52 milliseconds