Module Prepare_ast

module Prepare_ast: sig .. end
Prepare AST for E-ACSL generation.

More precisely, this module performs the following tasks:



val prepare : unit -> unit