Lines Matching defs:mode
339 optionSyntax.mk_none (if t = ``:'mode word`` then ``:word5`` else t)
352 else if n = ``:'mode`` then
529 ``:word2 -> bool -> bool -> bool -> 'mode word option``
555 ``:bool -> bool -> bool -> 'mode word``
641 val mode = mk_var ("mode", ``:word5``)
677 | ("ARM_MODE", [_]) => mode
704 | ("ARM_WRITE_MODE", [d,s]) => updates s ((mode,d)::l)
917 val mode =
1016 remove_suffix (armLib.arm_disassemble code') ^ mode