Searched defs:fns (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/pfl/
H A Dindex.sml286 val (fns,args) = unzip(map strip_comb L) value
[all...]
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dmain.sml138 val fns = get_functions cse value
178 val fns = get_functions cse value
305 val fns = get_fninfo cse value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatch.sml558 val fns = map (fn (p,R) => list_mk_abs(snd(strip_comb p),R)) plist value
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml1233 val {fns, ext_thm} = EX (n+1) tms thm value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DModel.sml144 val fns = emptyFunctions value
180 val fns = NameArityMap.insert fns name_arity_fn value
206 val fns = NameArityMap.union union fns1 fns2 value
236 val fns = NameArityMap.singleton (Term.hasTypeFunction,hasTypeFn) value
259 val fns = NameArityMap.compose fnMap fns value
327 val fns = addProj projectionMin emptyFunctions value
438 val fns = value
538 val fns = value
679 val fns = value
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DModel.sml144 val fns = emptyFunctions value
180 val fns = NameArityMap.insert fns name_arity_fn value
206 val fns = NameArityMap.union union fns1 fns2 value
236 val fns = NameArityMap.singleton (Term.hasTypeFunction,hasTypeFn) value
259 val fns = NameArityMap.compose fnMap fns value
327 val fns = addProj projectionMin emptyFunctions value
438 val fns = value
538 val fns = value
679 val fns = value
[all...]
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml509 and fns = make_args "fn" [] (map (C (curry op -->) ranty) domtys) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml746 val fns = update_fns ty value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml914 val fns = map (fn upd_t => mk_var ("f", #1(dom_rng (type_of upd_t)))) upds value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dparse_term.sml1138 val fns = fromNum_str value

Completed in 116 milliseconds