diff options
Diffstat (limited to 'cparser/Cprint.mli')
| -rw-r--r-- | cparser/Cprint.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cparser/Cprint.mli b/cparser/Cprint.mli index 01175d36..0221f5c2 100644 --- a/cparser/Cprint.mli +++ b/cparser/Cprint.mli @@ -37,3 +37,6 @@ val program : Format.formatter -> C.program -> unit val destination : string option ref val print_if : C.program -> unit + +val name_of_ikind: C.ikind -> string +val name_of_fkind: C.fkind -> string |