Module Dynamic_plugins.E_ACSL

module E_ACSL: sig .. end

val generate_code : string -> Project.t