Up – Package index » forester » Library forester.frontend » Forester » Analysis » Gph

Module `Analysis.Gph`Source

Sourcetype t

Sourceval succ : t -> Core.addr -> Core.addr list

Sourceval pred : t -> Core.addr -> Core.addr list