method
clean_kf_result (_ : kernel_function) (r:
Locations
.
Zone
.t) = r