module E_ACSL: sig .. end
sig
end
val generate_code : string -> Project.t
string -> Project.t
Dynamic.get ~plugin:"E_ACSL" "generate_code" (Datatype.func Datatype.string Project.ty)