index
:
debian-compcert
master
pristine-tar
upstream
Debian packaging for CompCert
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
caml
/
RTLgenaux.ml
blob: 3e6ca3d35226c9b384b63999e1b1f34e6f5e4832 (
plain
)
1
2
3
open Cminor let more_likely (c: condexpr) (ifso: stmtlist) (ifnot: stmtlist) = false