package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type 'a t

Sequence, finite during module fixing

val of_seq : _ Egraph.t -> 'a Base.Sequence.t -> 'a t

Limit the sequence to the given bound of the iterative deepening. Sequence used for enumerating the values should be limited for ensuring fairness. If the sequence contained more elements than limited the top decision will restart with a bigger limit

val limit : _ Egraph.t -> 'a t -> 'a t

no satisfying

val let+ : 'a t -> ('a -> 'b) -> 'b t

val and* : 'a t -> 'b t -> ('a * 'b) t

cartesian product Base.Sequence.cartesian_product

val let* : 'a t -> ('a -> 'b t) -> 'b t

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

val filter_map : 'a t -> f:('a -> 'b option) -> 'b t

val unfold_with : 
  'a t ->
  init:'b ->
  f:('b -> 'a -> ('c, 'b) Base.Sequence.Step.t) ->
  'c t

val hd_exn : 'a t -> 'a

val concat : 'a t t -> 'a t