package smtml

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

Module DolmenIntf.InterpSource

Sourceval to_int : interp -> int
Sourceval to_real : interp -> float
Sourceval to_bool : interp -> bool
Sourceval to_string : interp -> string
Sourceval to_bitv : interp -> int -> Z.t
Sourceval to_float : interp -> int -> int -> float