module Prepare_ast: sig .. end
sig
end
Prepare AST for E-ACSL generation.
More precisely, this module performs the following tasks:
val prepare : unit -> unit
unit -> unit