package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. equal : int;
  2. more_precise : int;
  3. less_precise : int;
  4. incomparable : int;
}
val empty : t
val equal : t
val more_precise : t
val less_precise : t
val incomparable : t
val aggregate_same : t -> t -> t
val to_string_infix : t -> string
val total : t -> int
val to_string_counts : t -> string