package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Already_Paired
module LR : sig ... end
module RL : sig ... end
type t = {
  1. lr : Apron.Var.t LR.t;
  2. rl : Mopsa.var RL.t;
}
val compare : t -> t -> int
val empty : t
val fold : ((Mopsa.var * Apron.Var.t) -> 'a -> 'a) -> t -> 'a -> 'a
val iter : ((Mopsa.var * Apron.Var.t) -> unit) -> t -> unit
val remove_l : Mopsa.var -> t -> t
val remove_r : Apron.Var.t -> t -> t
val add : (Mopsa.var * Apron.Var.t) -> t -> t
val mem : (Mopsa.var * Apron.Var.t) -> t -> bool
val concat : t -> t -> t
val mem_l : Mopsa.var -> t -> bool
val mem_r : Apron.Var.t -> t -> bool
val find_l : LR.key -> t -> Apron.Var.t
val find_r : RL.key -> t -> Mopsa.var
val find_l_opt : Mopsa.var -> t -> Apron.Var.t option
val find_r_opt : Apron.Var.t -> t -> Mopsa.var option
val map : ((Mopsa.var * Apron.Var.t) -> Mopsa.var * Apron.Var.t) -> t -> t
val filter : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> t
val exists : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> bool
val forall : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> bool
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