diff options
Diffstat (limited to 'scTypes.mli')
-rwxr-xr-x | scTypes.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scTypes.mli b/scTypes.mli index d147d92..348f4fe 100755 --- a/scTypes.mli +++ b/scTypes.mli @@ -81,6 +81,8 @@ module Type : sig val show: UTF8.Buffer.buffer -> 'a types -> unit
+ val show_full: UTF8.Buffer.buffer -> 'a types -> unit
+
end
module Refs : sig
|