package smtml

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

Module Smtlib.TermSource

Sourcetype t = Expr.t
Sourceval fp_of_size : float -> string -> string -> Expr.t
Sourceval const : ?loc:Loc.t -> Symbol.t -> t
Sourceval str : ?loc:'a -> string -> Expr.t
Sourceval int : ?loc:Loc.t -> string -> Expr.t
Sourceval real : ?loc:Loc.t -> string -> Expr.t
Sourceval hexa : ?loc:'a -> string -> Expr.t
Sourceval binary : ?loc:'a -> string -> Expr.t
Sourceval colon : ?loc:Loc.t -> t -> t -> t
Sourceval make_fp_binop : Symbol.t -> Ty.Binop.t -> Expr.t -> Expr.t -> Expr.t -> Expr.t
Sourceval apply : ?loc:Loc.t -> t -> t list -> t
Sourceval letand : ?loc:'a -> t list -> t -> t
Sourceval forall : ?loc:'a -> t list -> t -> t
Sourceval exists : ?loc:'a -> t list -> t -> t
Sourceval match_ : ?loc:'a -> 'b
Sourceval sexpr : ?loc:'a -> 'b
Sourceval annot : ?loc:'a -> 'b