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

Module `MyARG.Intra`

Parameters

module ArgIntra : SIntraOpt

module Arg : S

module Node = Arg.Node

module Edge = Arg.Edge

val main_entry : Node.t

val next : Node.t -> (Edge.t * Node.t) list