Searched defs:alpha (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/HOL4/src/metis/
H A DmlibParser.sig59 val alpha : char -> bool value
H A DmlibParser.sml241 val alpha = Char.isAlpha; value
H A DmlibOmega.sml42 val alpha = fromInt 33 value
/seL4-l4v-master/HOL4/src/prekernel/
H A DFinalType-sig.sml32 val alpha : hol_type value
/seL4-l4v-master/HOL4/src/0/
H A DType.sml166 val alpha = Tyv "'a" value
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DType.sml161 val alpha = Tyv "'a" value
/seL4-l4v-master/HOL4/src/lite/
H A DliteLib.sig108 val alpha : term -> term -> term value
H A DliteLib.sml289 fun alpha v tm = function
/seL4-l4v-master/HOL4/src/portableML/
H A DUnicodeChars.sig5 val alpha : string value
H A DUnicodeChars.sml7 val alpha = U 0x03B1 value
/seL4-l4v-master/HOL4/src/parse/
H A Dselftest.sml554 val alpha = Type.alpha value
[all...]
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DlzConv.sml613 local val alpha = Type.alpha value
[all...]
/seL4-l4v-master/HOL4/src/1/
H A DConv.sml666 val alpha = Type.alpha value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DencodeLib.sml1689 val alpha = gen_tyvar() value
[all...]
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp568 PolyObject *alpha; /* pointer into Poly heap; strong */ member in struct:T_List_struct
4547 InsertTimeout( TaskData *taskData, X_Window_Object *window_object, unsigned ms, PolyWord alpha, PolyWord handler ) argument
4640 InsertWidgetTimeout( TaskData *taskData, X_Widget_Object *widget_object, unsigned ms, PolyWord alpha, PolyWord handler ) argument

Completed in 202 milliseconds