package fadecider

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

Module Taggedtrapo.SimpleMetaTaggedTrapoSource

Sourcetype ('q, 'a, 'p) t = ('q, 'a, unit, unit, 'p, unit, unit) MetaTaggedTrapo.t
Sourceval make : 'a Tcsautomata.Alphabet.alphabet -> 'q Tcsbasedata.Domain.t -> 'q -> ('q -> int) -> (int -> int -> int) -> ('q -> 'a -> 'q Tcsbasedata.Iterators.iterator) -> 'q Tcsbasedata.Iterators.iterator -> 'a Tcsbasedata.Iterators.iterator -> 'p Tcsbasedata.Domain.t -> 'p -> ('p -> int) -> (int -> int -> int) -> ('p -> 'a -> 'p Tcsbasedata.Iterators.iterator) -> 'p Tcsbasedata.Iterators.iterator -> ('q, 'a, 'p) t