Module type Update_rules.S

module type S = sig .. end

val update : Update_rules.Update_fn.t