Fix.Minimize
module type DFA = sig ... end
module Minimize (Label : sig ... end) (A : sig ... end) : sig ... end