package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Multisets.MMTSource

Sourcetype elt = MT.t
Sourcetype t
Sourceval size : t -> int
Sourceval cardinal : t -> Z.t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval mem : t -> elt -> bool
Sourceval find : t -> elt -> Z.t
Sourceval singleton : elt -> t
Sourceval doubleton : elt -> elt -> t
Sourceval add : t -> elt -> t
Sourceval add_coeff : t -> elt -> Z.t -> t
Sourceval union : t -> t -> t
Sourceval intersection : t -> t -> t
Sourceval sum : t -> t -> t
Sourceval difference : t -> t -> t
Sourceval product : Z.t -> t -> t
Sourceval filter : (elt -> Z.t -> bool) -> t -> t
Sourceval map : (elt -> elt) -> t -> t
Sourceval map_coeff : (elt -> Z.t -> Z.t) -> t -> t
Sourceval filter_map : (elt -> Z.t -> (elt * Z.t) option) -> t -> t
Sourceval flat_map : (elt -> t) -> t -> t
Sourcemodule Seq : sig ... end
Sourceval iter : (elt -> unit) -> t -> unit
Sourceval fold : ('a -> elt -> 'a) -> 'a -> t -> 'a
Sourceval iter_coeffs : (elt -> Z.t -> unit) -> t -> unit
Sourceval fold_coeffs : ('a -> elt -> Z.t -> 'a) -> 'a -> t -> 'a
Sourceval for_all : (elt -> bool) -> t -> bool
Sourceval exists : (elt -> bool) -> t -> bool
Sourceval choose : t -> elt
Sourceval of_list : elt list -> t
Sourceval of_coeffs : (elt * Z.t) list -> t
Sourceval of_iarray : elt IArray.t -> t
Sourceval of_array : elt array -> t
Sourceval to_list : t -> (elt * Z.t) list
Sourceval equal : t -> t -> bool
Sourceval cancel : t -> t -> t * t
Sourceval compare : t -> t -> int
Sourceval compare_partial : (elt -> elt -> Comparison.t) -> t -> t -> Comparison.t
Sourceval is_max : (elt -> elt -> Comparison.t) -> elt -> t -> bool
Sourceval max : (elt -> elt -> Comparison.t) -> t -> t
Sourceval max_seq : (elt -> elt -> Comparison.t) -> t -> (elt * Z.t) Iter.t
Sourceval max_l : (elt -> elt -> Comparison.t) -> elt list -> elt list
Sourceval compare_partial_l : (elt -> elt -> Comparison.t) -> elt list -> elt list -> Comparison.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct