Up – goblint » Goblint_lib » ObserverAutomaton » S

Module type `ObserverAutomaton.S`

type q

type t

val initial : q

val next : q -> t -> q

val accepting : q -> bool