Searched defs:props (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_CODEGEN_CONSTANT_FUNCTIONS.sml | 69 val props = BACKEND.codeGenerate(lambda, debugSwitches, closure) value
111 val props = codeGenerateToConstant(repLambda, debugArgs, closure) value
176 val props = codeGenerateToConstant(repLambda, debugArgs, closure) value
285 val props = BACKEND.codeGenerate(lambda, debugArgs, closure) value
|
| H A D | CODETREE_FUNCTIONS.sml | 244 val props = copyToVec(fieldCode, 0w0) value
|
| H A D | CODETREE_LAMBDA_LIFT.sml | 455 val props = BACKEND.codeGenerate(lambda, debugArgs, closure) value
|
| H A D | CODETREE_STATIC_LINK_AND_CASES.sml | 808 val props = value
836 val props = getProps exp value
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
| H A D | ConsThms.sml | 595 val props = make_props conjuncts; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
| H A D | TYPECHECK_PARSETREE.sml | 537 val props = [DeclaredAt location, SequenceNo (newBindingId lex)] value
999 val props = [DeclaredAt nameLoc, SequenceNo (newBindingId lex)] value
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/ |
| H A D | ind_rel.sml | 1258 val (props, tm1) = strip_forall (concl ind_thm) value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | functionEncodeLib.sml | 3649 val (props,output_terms) = value
4042 val (props,thms,terms) = create_abstract_recognizers fname f target t value
4177 val (props,output_term value
[all...] |
Completed in 148 milliseconds