Module CfgLib

module CfgLib: sig .. end
Creating CFG

module Make: 
functor (T : CfgTypes.Transition) -> sig .. end
module Attr: 
functor (C : CfgTypes.Cfg) -> sig .. end
module Labels: 
functor (C : CfgTypes.Cfg) ->
functor (H : Hashtbl.S) -> sig .. end
module Transform: 
functor (A : CfgTypes.Cfg) ->
functor (B : CfgTypes.Cfg) -> sig .. end