diff options
Diffstat (limited to 'lib/genarg.mli')
| -rw-r--r-- | lib/genarg.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/genarg.mli b/lib/genarg.mli index b8dd08f96..e2654fcf5 100644 --- a/lib/genarg.mli +++ b/lib/genarg.mli @@ -210,6 +210,9 @@ type argument_type = val argument_type_eq : argument_type -> argument_type -> bool +val pr_argument_type : argument_type -> Pp.std_ppcmds +(** Print a human-readable representation for a given type. *) + val genarg_tag : 'a generic_argument -> argument_type val unquote : ('a, 'co) abstract_argument_type -> argument_type |