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