package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module type `ObserverAnalysis.StepObserverAutomaton`

type q

type t = MyCFG.node * MyCFG.node

val initial : q

val next : q -> t -> q

val accepting : q -> bool