Parameter `Make.G`

type transition

module ControlLocation : PatriciaTree.KEY

val preds_with_transition : 
  ControlLocation.t ->
  (ControlLocation.t * transition) list

Parameter Make.G