Up – Package index » fadecider » Library fadecider » Trapo » FiniteNbaMetaTrapo

Module `Trapo.FiniteNbaMetaTrapo`Source

Sourcetype ('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