let get_external =
Externals.memo
(fun kf ->
let internals = get_internal kf in
let filter = externalize kf.fundec in
{ Inout_type.over_inputs_if_termination = filter internals.Inout_type.over_inputs_if_termination;
under_outputs_if_termination = filter internals.Inout_type.under_outputs_if_termination;
over_inputs = filter internals.Inout_type.over_inputs })