package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Exclusion.R

val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val show : (IntOps.NIntOps.t * IntOps.NIntOps.t) -> string
val shift_left : (IntOps.NIntOps.t * IntOps.NIntOps.t) -> (int * int) -> IntOps.NIntOps.t * IntOps.NIntOps.t
val maximal : ('a * 'b) -> 'b
val minimal : ('a * 'b) -> 'a
val find_thresholds : WideningThresholds.Thresholds.t ResettableLazy.t -> WideningThresholds.Thresholds.t
val is_threshold : IntOps.NIntOps.t -> WideningThresholds.Thresholds.t ResettableLazy.t -> bool
val is_upper_threshold : IntOps.NIntOps.t -> bool
val is_lower_threshold : IntOps.NIntOps.t -> bool