sig type t = None | Less | Default | Aggressive end