Up – Package index » goblint » Library goblint.lib » Goblint_lib » MyARG » CfgIntra

Module `MyARG.CfgIntra`

Parameters

module Cfg : MyCFG.CfgForward

Signature

include SIntra

val next : MyCFG.node -> (MyCFG.edge * MyCFG.node) list

val next_opt : MyCFG.node -> (MyCFG.edge * MyCFG.node) list option