Module StmQ.WeightFun
Weight functions
type t
= Stm.t -> int
attribute a weight to a stream. The smaller, the better (lightweight streams will be favored). A weight must always be positive.
val penalty : t
Returns the penalty of the stream