From c678903054da11c0b34d9ceb35664d264f840361 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 24 Jan 2023 17:31:47 +0100 Subject: Export `name_of_ikind` and `name_of_fkind` --- cparser/Cprint.mli | 3 +++ 1 file changed, 3 insertions(+) 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 -- cgit