package smtml

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

Module Make.InterpSource

Sourceval to_int : interp -> int

to_int interp converts an interpretation to an integer.

Sourceval to_real : interp -> float

to_real interp converts an interpretation to a real number.

Sourceval to_bool : interp -> bool

to_bool interp converts an interpretation to a Boolean.

Sourceval to_string : interp -> string

to_string interp converts an interpretation to a string.

Sourceval to_bitv : interp -> int -> Z.t

to_bitv interp n converts an interpretation to a bitvector of width n.

Sourceval to_float : interp -> int -> int -> float

to_float interp e s converts an interpretation to a floating-point number with exponent width e and significand width s.