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