Up – Package index » goblint » Library goblint.lib » Goblint_lib » Svcomp » StackTaskResult » Arg

Module `StackTaskResult.Arg`

module Node : sig ... end

module Edge : sig ... end

val main_entry : Node.t

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