package logtk

  1. Overview
  2. Docs
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.