package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `SpecDomain.Val`

type s = string

val equal_s : s -> s -> Ppx_deriving_runtime.bool

val compare_s : s -> s -> Ppx_deriving_runtime.int

val hash_s : s -> int

val name : string

val var_state : string

val string_of_state : 'a -> 'a