package libsail

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

Module Smt_exp.SimpSetSource

Sourcemodule SimpVar : sig ... end
Sourceval is_simp_var : smt_exp -> bool
Sourceval to_simp_var : smt_exp -> SimpVar.t option
Sourcemodule SimpVarMap : sig ... end
Sourcemodule SimpVarSet : sig ... end
Sourcetype t = {
  1. var_fn : Jib.name -> smt_exp option;
  2. vars : smt_exp SimpVarMap.t;
  3. inequalities : smt_exp list SimpVarMap.t;
  4. is_ctor : Ast.id Jib_util.NameMap.t;
}
Sourceval empty : t
Sourceval from_function : (Jib.name -> smt_exp option) -> t
Sourceval add_var : smt_exp -> smt_exp -> t -> t
Sourceval add_var_inequality : smt_exp -> smt_exp -> t -> t
Sourceval add_var_is_ctor : Jib_util.NameMap.key -> Ast.id -> t -> t
Sourceval is_ctor : Jib_util.NameMap.key -> Ast.id -> t -> bool option
Sourceval find_opt : smt_exp -> t -> smt_exp option
Sourceval inequalities : smt_exp -> t -> smt_exp list
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