sig
val
weight :
Update_rules
.
Update_fn
.t
end