Previous  Up  

Module IntermediateTypes.TransitionMap

module TransitionMap: BatMap.Make(NonTerminal)