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