Up – goblint » Goblint_lib » SpecLifters » HashconsLifter » NameLifter

Module `HashconsLifter.NameLifter`

val lift_name : string -> string