package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Make () : Mappings_intf.M
val is_available : bool
include Mappings_intf.M
type ty
type term
type interp
type model
type solver
type handle
type optimizer
type func_decl
val true_ : term
val false_ : term
val int : int -> term
val real : float -> term
val const : string -> ty -> term
val not_ : term -> term
val and_ : term -> term -> term
val or_ : term -> term -> term
val xor : term -> term -> term
val eq : term -> term -> term
val distinct : term list -> term
val ite : term -> term -> term -> term
module Types : sig ... end
module Interp : sig ... end
module Int : sig ... end
module Real : sig ... end
module String : sig ... end
module Bitv : sig ... end
module Float : sig ... end
module Func : sig ... end
module Model : sig ... end
module Solver : sig ... end
module Optimizer : sig ... end
OCaml

Innovation. Community. Security.