Module `Assume_info.Witnesses`

type t = unit

val empty : Zero_alloc_utils.Assume_info.Witnesses.t

val join : 
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  Zero_alloc_utils.Assume_info.Witnesses.t

val lessequal : 
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  bool

val meet : 
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  Zero_alloc_utils.Assume_info.Witnesses.t

val print : 
  Stdlib.Format.formatter ->
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  unit

val compare : 
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  Zero_alloc_utils.Assume_info.Witnesses.t ->
  int

Module Assume_info.Witnesses