diff options
| author | Kathy Gray | 2013-08-20 11:03:33 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-08-20 11:03:46 +0100 |
| commit | 248df6a4cf147bd127e11c489e7f17cf65dfb5cb (patch) | |
| tree | 6641f701024162fc6a0c528abeb1e0f0f2a80683 /src/pretty_print.mli | |
| parent | 937f6f8d9de1c8bcb8a60320e206d3e7bc973e19 (diff) | |
Set some initial kind environments; start pretty printing
Diffstat (limited to 'src/pretty_print.mli')
| -rw-r--r-- | src/pretty_print.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/pretty_print.mli b/src/pretty_print.mli new file mode 100644 index 00000000..54a5555b --- /dev/null +++ b/src/pretty_print.mli @@ -0,0 +1,4 @@ +open Ast +open Type_internal + +val pp_format_ast : tannot defs -> string |