package facile

  1. Overview
  2. Docs

Module Goals.ListSource

Sourceval forall : ?select:('a list -> 'a * 'a list) -> ('a -> t) -> 'a list -> t
Sourceval exists : ?select:('a list -> 'a * 'a list) -> ('a -> t) -> 'a list -> t
Sourceval member : Var.Fd.t -> int list -> t
Sourceval labeling : Var.Fd.t list -> t
OCaml

Innovation. Community. Security.