Module type Toprop.T_with_call


module type T_with_call = sig .. end
add call processing to T_no_call

include Toprop.T_no_call
val call : (Db_types.kernel_function ->
Cil_types.predicate Cil_types.named list *
Cil_types.predicate Cil_types.named list *
Cil_types.identified_term Cil_types.assigns list) ->
Cil_types.lval option -> Cil_types.exp -> Cil_types.exp list -> t -> t