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

/seL4-l4v-10.1.1/HOL4/src/parse/
H A DTermParse.sml18 val WARN = HOL_WARNING "Parse" value
H A Dterm_tokens.sml6 val WARN = Feedback.HOL_WARNING "term lexer" "" value
H A DParse.sml17 val WARN = HOL_WARNING "Parse" value
H A Dparse_term.sml14 fun WARN f msg = if !syntax_error_trace then function
/seL4-l4v-10.1.1/HOL4/src/0/
H A DType.sml22 val WARN = HOL_WARNING "Type"; value
H A DTerm.sml22 val WARN = HOL_WARNING "Term"; value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DType.sml9 val WARN = HOL_WARNING "Type"; value
H A DTerm.sml11 val WARN = HOL_WARNING "Term" value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFeedback.sml181 val WARN = HOL_WARNING "Feedback" value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/
H A Darm8_stepLib.sml29 val WARN = Feedback.HOL_WARNING "arm8_stepLib" value
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml19 val WARN = HOL_WARNING "TotalDefn"; value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTypeBasePure.sml12 val WARN = HOL_WARNING "TypeBasePure"; value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml9 val WARN = Feedback.HOL_WARNING "utilsLib" value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml43 val WARN = HOL_WARNING "EmitML"; value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml61 val WARN = HOL_WARNING "Theory"; value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml21 val WARN = Feedback.HOL_WARNING "m0_stepLib" value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml27 val WARN = Feedback.HOL_WARNING "arm_stepLib" value

Completed in 320 milliseconds