PulseSatUnsat (infer.Pulselib.PulseSatUnsat)

module F = Stdlib.Format

type 'a t =

include Ppx_compare_lib.Equal.S1 with type 'a t := 'a t

val equal : 'a Base__Ppx_compare_lib.equal -> 'a t Base__Ppx_compare_lib.equal

val pp : (F.formatter -> 'a -> unit) -> F.formatter -> 'a t -> unit

module Types : sig ... end

for opening to get Sat and Unsat in the namespace

val map : ('a -> 'b) -> 'a t -> 'b t

val bind : ('a -> 'b t) -> 'a t -> 'b t

val sat : 'a t -> 'a option

val of_option : 'a option -> 'a t

val list_fold : 
  'a list ->
  init:'accum ->
  f:('accum -> 'a -> 'accum t) ->
  'accum t

val to_list : 'a t -> 'a list

val filter : 'a t list -> 'a list

keep only Sat _ elements

val seq_fold : 
  'a IStdlib.IStd.Caml.Seq.t ->
  init:'accum ->
  f:('accum -> 'a -> 'accum t) ->
  'accum t

module Import : sig ... end