Make.Probe
type param
type notified_value
val probe : Hash.t -> param -> notified_value -> Disk_table.value option