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

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailcceqatom.tex

blob: 0325ab15bd71354271f8a1b142a700ea32524f5a (plain)

val eq_atom = {ocaml: "eq_int", lem: "eq", c: "eq_int", coq: "Z.eqb"} : forall 'n 'm. (atom('n), atom('m)) -> bool