Searched defs:ty (Results 1 - 25 of 126) sorted by relevance

123456

/seL4-l4v-10.1.1/HOL4/src/1/theory_tests/
H A Dgh168bScript.sml16 val ty = Parse.Type [QUOTE s] value
H A Dgh168cScript.sml18 val ty = Parse.Type [QUOTE s] value
H A Dgh168eScript.sml17 val ty = ``:foo`` value
22 val ty = ``:foo`` value
/seL4-l4v-10.1.1/HOL4/src/floating-point/
H A Dfp16Syntax.sml4 val ty = wordsSyntax.mk_int_word_type 16) value
H A Dfp32Syntax.sml4 val ty = wordsSyntax.mk_int_word_type 32) value
H A Dfp64Syntax.sml4 val ty = wordsSyntax.mk_int_word_type 64) value
/seL4-l4v-10.1.1/HOL4/examples/countable/
H A Dcountable_initScript.sml60 val (ty,_) = dom_rng(type_of tm) value
H A DcountableLib.sml53 val ty = foldr (fn (x,t) => (x --> num) --> t) (t --> num) ars value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DpegSampleScript.sml17 val ty = ty_antiq ``:(tok, string, expr) pegsym`` value
/seL4-l4v-10.1.1/HOL4/src/opentheory/compat/
H A DcombinWriter.sml34 val ty = eq |> boolSyntax.lhs value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DMakeBigTerm.sml22 val ty = case tyr of NONE => gen_ty gen | SOME ty => ty value
[all...]
H A DDiskFilesHeader.sml45 val ty = types ! tyn value
H A DMutual.sml326 handle _ => let val ty = type_of v value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DfcpLib.sml69 val ty = snd (fcpSyntax.dest_cart_type (Term.type_of tm)) value
/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A DbasicSize.sml20 val ty = mk_vartype "'type" value
48 val ty = mk_vartype "'type" value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A Dselftest.sml14 val ty = dest_none alphanone_t value
/seL4-l4v-10.1.1/HOL4/src/monad/more_monads/
H A Dstate_transformerSyntax.sml92 val ty = get_state_ty b value
/seL4-l4v-10.1.1/HOL4/src/pfl/
H A DpflLib.sml52 val ty = dest_option (type_of ifn_app) value
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A DPSet_ind.sml63 val ty = fst(dom_rng(type_of s)) value
/seL4-l4v-10.1.1/HOL4/src/boss/ml_evaluation/
H A DLift.sml49 val ty = snd(strip_fun(type_of (hd Clist))) value
[all...]
/seL4-l4v-10.1.1/HOL4/src/holyhammer/legacy/
H A Dhh_write.ml387 let ty = get_const_type t in var
[all...]
/seL4-l4v-10.1.1/HOL4/src/proofman/tests/
H A Dselftest.sml22 val ty = ``: value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dhdr.sml71 type ty = string type
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DSALGen.sml73 val ty = type_of dest value
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DSmtLib_Parser.sml376 val ty = Type.mk_vartype ("'" ^ name) value

Completed in 169 milliseconds

123456