package colibri2

  1. Overview
  2. Docs
type filter_term =
  1. | App of Colibri2_core.Expr.builtin * filter_ty list * filter_term list
  2. | Var of int
  3. | Choice of filter_term list
  4. | Any
and filter_ty =
  1. | TyApp of Colibri2_core.Expr.builtin * filter_ty list
  2. | TyAny
and filter_quant = {
  1. vars : int list;
  2. filter : filter_term;
}
OCaml

Innovation. Community. Security.