Searched defs:is_error (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A DarmSyntax.sig132 val is_error : term -> bool value
H A DarmSyntax.sml373 val is_error = can dest_error value
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/
H A DarmSyntax.sig135 val is_error : term -> bool value
H A DarmSyntax.sml380 val is_error = can dest_error value

Completed in 40 milliseconds