index
:
blog_scripts.git
editor
master
Applications du blog
Sébastien Dailly
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
layer
/
ductusPrinter.mli
blob: cdcaa7c52f2d6a58c6ebf41871c822e9b7a1a6a9 (
plain
)
1
2
module
Make
(
R
:
Repr
.
PRINTER
):
Repr
.
LAYER
with
type
repr
=
R
.
t