summaryrefslogtreecommitdiff
path: root/cheri/sail_latexcc/sailcclteqrangeatom.tex
blob: f8fcd32d2af082aa5bb5b73120ab6f452e7531ad (plain) 
1

val lteq_range_atom = {coq: "leb_range_l", _: "lteq"} : forall 'n 'm 'o. (range('n, 'm), atom('o)) -> bool
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-05 06:25:56 +0000