package goblint

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `MyARG.CfgIntra`

module Cfg : MyCFG.CfgForward

include SIntra

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

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