package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.9.0.tar.gz

md5=8f891209d18b6540df9c34b2d1a6a783

sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

doc/catala.shared_ast/Shared_ast/EnumConstructor/Set/index.html

Module `EnumConstructor.Set`Source

Sourcetype elt = t

Sourcetype t

Sourceval empty : t

Sourceval is_empty : t -> bool

Sourceval mem : elt -> t -> bool

Sourceval add : elt -> t -> t

Sourceval singleton : elt -> t

Sourceval remove : elt -> t -> t

Sourceval union : t -> t -> t

Sourceval inter : t -> t -> t

Sourceval disjoint : t -> t -> bool

Sourceval diff : t -> t -> t

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool

Sourceval subset : t -> t -> bool

Sourceval iter : (elt -> unit) -> t -> unit

Sourceval map : (elt -> elt) -> t -> t

Sourceval fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a

Sourceval for_all : (elt -> bool) -> t -> bool

Sourceval exists : (elt -> bool) -> t -> bool

Sourceval filter : (elt -> bool) -> t -> t

Sourceval filter_map : (elt -> elt option) -> t -> t

Sourceval partition : (elt -> bool) -> t -> t * t

Sourceval cardinal : t -> int

Sourceval elements : t -> elt list

Sourceval min_elt : t -> elt

Sourceval min_elt_opt : t -> elt option

Sourceval max_elt : t -> elt

Sourceval max_elt_opt : t -> elt option

Sourceval choose : t -> elt

Sourceval choose_opt : t -> elt option

Sourceval split : elt -> t -> t * bool * t

Sourceval find : elt -> t -> elt

Sourceval find_opt : elt -> t -> elt option

Sourceval find_first : (elt -> bool) -> t -> elt

Sourceval find_first_opt : (elt -> bool) -> t -> elt option

Sourceval find_last : (elt -> bool) -> t -> elt

Sourceval find_last_opt : (elt -> bool) -> t -> elt option

Sourceval of_list : elt list -> t

Sourceval to_seq_from : elt -> t -> elt Seq.t

Sourceval to_seq : t -> elt Seq.t

Sourceval to_rev_seq : t -> elt Seq.t

Sourceval add_seq : elt Seq.t -> t -> t

Sourceval of_seq : elt Seq.t -> t