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