sig
val inline_calls : Cil_types.file -> unit
val inline_term :
inline:(Cil_types.logic_info -> bool) ->
?current:Cil_types.logic_label -> Cil_types.term -> Cil_types.term option
val inline_predicate :
inline:(Cil_types.logic_info -> bool) ->
?current:Cil_types.logic_label ->
Cil_types.predicate -> Cil_types.predicate option
end