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

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailccltatomrange.tex

blob: 19d3375d6d2d242334c3beb3a3c0b401a08fafad (plain)

val lt_atom_range = {coq: "ltb_range_r", _: "lt"}     : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool