package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
module SimpVar : sig ... end
val is_simp_var : smt_exp -> bool
val to_simp_var : smt_exp -> SimpVar.t option
module SimpVarMap : sig ... end
module SimpVarSet : sig ... end
type 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;
}
val empty : t
val from_function : (Jib.name -> smt_exp option) -> t
val add_var : smt_exp -> smt_exp -> t -> t
val add_var_inequality : smt_exp -> smt_exp -> t -> t
val add_var_is_ctor : Jib_util.NameMap.key -> Ast.id -> t -> t
val is_ctor : Jib_util.NameMap.key -> Ast.id -> t -> bool option
val find_opt : smt_exp -> t -> smt_exp option
val 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