package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Equal
  2. | MorePrecise of int
  3. | LessPrecise of int
  4. | Incomparable of int * int
val aggregate_same : t -> t -> t
val to_string_infix : t -> string
val counts : t -> int * int