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

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailccgteqatomrange.tex

blob: 7aaf633fc06e1e9b81e2f57e7b4c76537afe8ad8 (plain)

val gteq_atom_range = {coq: "geb_range_r", _: "gteq"} : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool