Module Minimize.States

type t
type nonrec element = t Finite.element
val n : int