Module Zrapp


module Zrapp: sig .. end

val debug : bool Pervasives.ref
val get_comments : Cil_types.location -> string list