Previous
Up
Next
Module
CfgTypes
module
CfgTypes:
sig
..
end
Reversed with repetitions
module type
Transition
=
sig
..
end
module type
Cfg
=
sig
..
end