Searched defs:constructors (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/
H A DHOL.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/
H A DHOL.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttOpen.sml105 val (constructors,l0) = partition (fn x => isConstructor (snd x)) l value
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dlogic.tex
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatch.sml393 val constructors = rev (mk_set (rev (filter (not o is_var) col0))) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DgrammarLib.sml407 val constructors = value
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DEmitTeX.sml117 [] => let val constructors = map (fst o dest_const) value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A DbinderLib.sml298 val constructors = map #1 (find_constructors recthm) value
365 val constructors = find_constructors recthm value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml258 let val constructors = map #1 clist value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml1012 fun constructors decls = function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml373 val constructors = constructors_of t' handle e => wrapException "mk_detect_term" e value
450 val constructors = constructors_of t' handle e => wrapException "mk_decode_term" e value
532 val constructors = constructors_of t' value
587 val constructors = constructors_of t' value
[all...]
H A DfunctionEncodeLib.sml1744 let val constructors = map (fn x => outermost (mk_eq (x,x))) missing value
2364 val constructors = constructors_of t handle e => value
[all...]
H A DpolytypicLib.sml804 let val constructors = constructors_of t value
936 fun constructors t = TypeBase.constructors_of t handle _ => [] function

Completed in 180 milliseconds