package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

type state =

and waiting_for =

val pp_state : 
  Ppx_deriving_runtime.Format.formatter ->
  state ->
  Ppx_deriving_runtime.unit

val show_state : state -> Ppx_deriving_runtime.string

val pp_waiting_for : 
  Ppx_deriving_runtime.Format.formatter ->
  waiting_for ->
  Ppx_deriving_runtime.unit

val show_waiting_for : waiting_for -> Ppx_deriving_runtime.string

val min_state : int

val max_state : int

val state_to_enum : state -> int

val state_of_enum : int -> state option

val min_waiting_for : int

val max_waiting_for : int

val waiting_for_to_enum : waiting_for -> int

val waiting_for_of_enum : int -> waiting_for option

val init : 'a -> unit * string