Module CfgTypes

module CfgTypes: sig .. end
Reversed with repetitions

module type Transition = sig .. end
module type Cfg = sig .. end