Searched defs:env (Results 1 - 25 of 40) sorted by path

12

/seL4-l4v-10.1.1/HOL4/developers/
H A Dprehol.sml196 val env = extend_env toks base_env value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/
H A DevalML.sml125 datatype env = type
515 val env = value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcearTools.sml760 val env = inst [alpha |-> type_of state] envTools.empty_env_tm value
813 val env = el 3 (snd(strip_comb(snd(strip_forall(concl th))))) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/
H A DambaScript.sml139 val env = inst [alpha|->cst] ``EMPTY_ENV`` value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DANF.sig5 type env = (term * (bool * thm * thm * thm)) list type
H A DANF.sml18 type env = (term * (bool * thm * thm * thm)) list; type
H A DannotatedIR.sml658 val env = ANF.toANF [] prog; value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DANF.sig5 type env = (term * (bool * thm * thm * thm)) list type
H A DANF.sml18 type env = (term * (bool * thm * thm * thm)) list; type
H A DannotatedIR.sml601 val env = ANF.toANF [] prog; value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DANF.sig5 type env = (term * (bool * thm * thm * thm)) list type
H A DANF.sml18 type env = (term * (bool * thm * thm * thm)) list; type
H A DannotatedIR.sml601 val env = ANF.toANF [] prog; value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dmonomorphisation.sml237 let val env = M.mkDict strOrder value
[all...]
H A DregAlloc.sml[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/
H A DCADE_example.sml76 val env = [lem1]; value
H A Dtest.sml133 val env = [g1_def, g2_def]; value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DMAKESIG.sml20 type env type
74 type env = env type
H A DPARSETREESIG.sml31 type env; type
172 and env = env type
H A DSIGNATURES.sml1414 type env = env type
H A DSIGNATURESSIG.sml28 type env type
69 type env = env type
H A DSTRUCTURESSIG.sml40 type env; type
107 type env = env type
H A DSTRUCTVALSIG.sml283 datatype env = type
322 and env = env type
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml2123 val env = value
2315 and env = env type
[all...]
H A DTypeCheckParsetreeSig.sml26 type env type
47 type env = env type

Completed in 203 milliseconds

12