sig type strategy = Keep | Disable | Linear | Default end