Up
–
re
»
Re__
»
Automata
» Marks
Module
Automata.Marks
type
t
=
{
marks : (
mark
*
idx
) list;
pmarks :
Re__.Pmark.Set.t
;
}