Module DemarauNFA.StateSource

Sourcetype t =
  1. | Std of {
    1. lane : int;
    2. error : int;
    }
  2. | Trans of {
    1. lane : int;
    2. error : int;
    }
Sourceval compare : t -> t -> int
Sourceval pp_state : Format.formatter -> t -> unit