package sexp

  1. Overview
  2. Docs
type t = {
  1. optional : bool;
    (*

    If optional is true then the whole Set query may match a list even if the optional term doesn't match any elements of the list. But if the term does match some element then there is no trivial match where the term does not capture anything.

    *)
  2. first_only : bool;
    (*

    If first_only is true then the term only returns matches for the first element of the list that it successfully matches in at least one way.

    *)
}

Specifies how a term in a Set should be matched

include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t