Previous
Up
Next
Module
Tools.TrSet
module
TrSet:
Set.S
with type elt = int * string * int
Sets of transitions, as triples.