Searched defs:comment (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTptp.sml54 val comment = equal #"%" o hd o explode; value
H A DmlibMeson.sml636 fun comment S.NIL = "!\n" function
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A DarmLib.sml210 val comment = if !disassemble then value
/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpTools.sml410 fun comment s = function
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DgrammarLib.sml206 val comment = posn_comment ++ barecomment value

Completed in 97 milliseconds