sig
  val memo :
    From_register.Functionwise_Dependencies.key ->
    From_register.Functionwise_Dependencies.data
  val get :
    From_register.Functionwise_Dependencies.key ->
    '-> From_register.Functionwise_Dependencies.data
end