Previous
Up
Next
Module
Interpreted_automata.WTO
module
WTO
:
sig
..
end
Datatype for WTOs
include
??
include
Datatype.S