package smtml

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

Module DolmenIntf.FloatSource

Sourcemodule Rounding_mode : sig ... end
Sourceval v : float -> int -> int -> term
Sourceval neg : term -> term
Sourceval abs : term -> term
Sourceval sqrt : rm:term -> term -> term
Sourceval is_normal : term -> term
Sourceval is_subnormal : term -> term
Sourceval is_negative : term -> term
Sourceval is_positive : term -> term
Sourceval is_infinite : term -> term
Sourceval is_zero : term -> term
Sourceval is_nan : term -> term
Sourceval round_to_integral : rm:term -> term -> term
Sourceval add : rm:term -> term -> term -> term
Sourceval sub : rm:term -> term -> term -> term
Sourceval mul : rm:term -> term -> term -> term
Sourceval div : rm:term -> term -> term -> term
Sourceval min : term -> term -> term
Sourceval max : term -> term -> term
Sourceval rem : term -> term -> term
Sourceval fma : rm:term -> term -> term -> term -> term
Sourceval eq : term -> term -> term
Sourceval lt : term -> term -> term
Sourceval le : term -> term -> term
Sourceval gt : term -> term -> term
Sourceval ge : term -> term -> term
Sourceval to_fp : int -> int -> rm:term -> term -> term
Sourceval sbv_to_fp : int -> int -> rm:term -> term -> term
Sourceval ubv_to_fp : int -> int -> rm:term -> term -> term
Sourceval to_ubv : int -> rm:term -> term -> term
Sourceval to_sbv : int -> rm:term -> term -> term
Sourceval of_ieee_bv : int -> int -> term -> term
Sourceval to_ieee_bv : (term -> term) option