fadecider
Trapo.FiniteNbaMetaTrapo
type ('q, 'a) t = ('q, 'a) SimpleMetaTrapo.t
val make : ('q, 'a) Tcsautomata.NBA.t -> 'q Tcsbasedata.Iterators.iterator -> 'a Tcsbasedata.Iterators.iterator -> ('q, 'a) t