module ToGfol:The exported translation functions may raise
AbortTranslation
,
and normally no other exception...Parameters: |
|
exception AbortTranslation of string
val expr : Cil_types.exp -> M.t_exp
val cond : Cil_types.exp -> M.t_exp
val predicate : Kernel_function.t ->
M.t_env -> Cil_types.predicate Cil_types.named -> M.t_pred
val export_fct_table : (M.t_pred -> Fol.predicate) -> Fol.decl list -> Fol.decl list