package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
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