diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-01 16:48:23 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-01 16:48:23 +0100 |
| commit | 74cd42c5cae6644914334448e198d562f4145511 (patch) | |
| tree | d502e0798a04566c16d345c194ce725330631145 /path/wireFramePrinter.mli | |
| parent | af88c8895bba85fe5340b34aafb3dce7650bd01f (diff) | |
Use first type module instead of functors pt.2
Diffstat (limited to 'path/wireFramePrinter.mli')
| -rwxr-xr-x | path/wireFramePrinter.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/path/wireFramePrinter.mli b/path/wireFramePrinter.mli index 1e76120..fa8a5a8 100755 --- a/path/wireFramePrinter.mli +++ b/path/wireFramePrinter.mli @@ -19,6 +19,7 @@ module Make(Repr:Layer.Repr.PRINTER): sig val stop : repr -> repr + val get : repr -> Repr.t |