package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Proof assistant for the λΠ-calculus modulo rewriting

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (12)

Authors

D

Deducteam

Maintainers

D

dedukti-dev@inria.fr

Sources

lambdapi-3.0.0.tbz

sha256=1066aed2618fd8e6a400c5147dbf55ea977ce8d3fe2e518ac6785c6775a1b8be

sha512=f7f499626aba92e070ae69581299a58525973fdbfd04a160ed3ac89209fb6cbe307b816d0b23e1b75bc83467ce8b4b0530c6f9816eaf58f7a07fde65a450106c

doc/lambdapi.core/Core/Tree/CP/PSet/index.html

Module `CP.PSet`Source

Functional sets of pairs of integers.

Sourcetype elt = int * int

Sourcetype t

Sourceval empty : t

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 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 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 iter : (elt -> unit) -> t -> unit

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

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

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

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

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

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

Sourceval is_empty : t -> bool

Sourceval mem : elt -> t -> bool

Sourceval equal : t -> t -> bool

Sourceval compare : t -> t -> int

Sourceval subset : t -> t -> bool

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

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

Sourceval to_list : t -> elt list

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