sailcclteqatomrange.tex « sail_latexcc « cheri - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailcclteqatomrange.tex

blob: 6e951cf7644e4fede476d28657bb50c4bb433770 (plain)

val lteq_atom_range = {coq: "leb_range_r", _: "lteq"} : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool