Functor Update_rules.Make_weighted

module Make_weighted (Weight_provider : WEIGHT_PROVIDER) : S

Parameters:

Weight_provider : WEIGHT_PROVIDER

val update : Update_rules.Update_fn.t