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