sig val record_kf : From_register.Functionwise_Dependencies.key -> From_register.Functionwise_Dependencies.data -> unit end