links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Lens . Phrase . List
type elt = t
type t = elt list
val fold_and : t -> Option.t

Fold a list to an option phrase

val fold_and_opt : Option.t list -> Option.t

Fold a list of option phrases to an option phrase combining with ands

val fold_or : t -> Option.t

Fold a list to an option phrase

val fold_or_opt : Option.t list -> Option.t

Fold a list of option phrases to an option phrase combining with ands