Module Dynamic_plugins.E_ACSL

module E_ACSL: sig .. end

val generate_code : string -> Project.t
val predicate_to_exp : Cil_datatype.Kf.t -> Cil_datatype.Predicate.t -> Cil_datatype.Exp.t