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
/
PrintPPC.mli
blob: fbd40045e6d6e660daa02be3e17c89bfa908302f (
plain
)
1
val print_program: out_channel -> PPC.program -> unit