Module `Assume_info.Witnesses`

type t = unit

val empty : Ocaml_utils.Zero_alloc_utils.Assume_info.Witnesses.t

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

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

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

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

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

Module Assume_info.Witnesses

Module `Assume_info.Witnesses`