sig
type t
val pretty : Stdlib.Format.formatter -> CfgCompiler.Cfg.T.t -> unit
val create :
S.t CfgCompiler.Cfg.Node.Map.t -> Lang.F.term -> CfgCompiler.Cfg.T.t
val get : CfgCompiler.Cfg.T.t -> Lang.F.term
val reads : CfgCompiler.Cfg.T.t -> S.domain CfgCompiler.Cfg.Node.Map.t
val relocate :
S.t CfgCompiler.Cfg.Node.Map.t ->
CfgCompiler.Cfg.T.t -> CfgCompiler.Cfg.T.t
val init :
CfgCompiler.Cfg.Node.Set.t ->
(S.t CfgCompiler.Cfg.Node.Map.t -> Lang.F.term) -> CfgCompiler.Cfg.T.t
val init' :
CfgCompiler.Cfg.Node.t -> (S.t -> Lang.F.term) -> CfgCompiler.Cfg.T.t
end