Module Main

module Main: sig .. end

val check : unit -> bool
val check : unit -> bool
type extended_project = 
| To_be_extended
| Already_extended of Project.t option
val extended_ast_project : extended_project Pervasives.ref
val unmemoized_extend_ast : unit -> Project.t option
val extend_ast : unit -> Project.t
val apply_on_e_acsl_ast : ('a -> 'b) -> 'a -> 'b
module Resulting_projects: State_builder.Hashtbl(Datatype.String.Hashtbl)(Project.Datatype)(sig
val name : string
val size : int
val dependencies : State.t list
end)
val generate_code : Resulting_projects.key -> Project.t
val generate_code : Resulting_projects.key -> Project.t
val predicate_to_exp : Kernel_function.t -> Cil_datatype.Predicate.t -> Cil_datatype.Exp.t
val add_e_acsl_library : 'a -> unit
val change_printer : unit -> unit
val main : unit -> unit