package grenier

  1. Overview
  2. Docs
package grenier
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Valmari.INPUTSource

include DFA
Sourcetype states
Sourcetype transitions
Sourcetype label
Sourceval initials : states Strong.Finite.elt array
Sourceval finals : states Strong.Finite.elt array
Sourceval refinements : refine:(iter:((states Strong.Finite.elt -> unit) -> unit) -> unit) -> unit