Module Prepare_ast

module Prepare_ast: sig .. end

Prepare AST for E-ACSL generation.

So for this mudule performs two tasks:


val prepare : unit -> Project.t