You can search for identifiers within the package.
in-package search v0.2.0
goblint_cdomain_value
IntDomain.Size
val top_typ : GoblintCil.Cil.typ
The biggest type we support for integers.
val range : GoblintCil.Cil.ikind -> Z.t * Z.t
val is_cast_injective : from_type:GoblintCil.Cil.typ -> to_type:GoblintCil.Cil.typ -> bool
val bits : GoblintCil.Cil.ikind -> int * int
val cast : GoblintCil.Cil.ikind -> Z.t -> Z.t