package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val top_typ : Cil.typ

The biggest type we support for integers.

val range : Cil.ikind -> int64 * int64
val range_big_int : Cil.ikind -> Z.t * Z.t
val bits : Cil.ikind -> int * int