package smtml

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

Module DolmenIntf.TypesSource

val int : ty
val real : ty
val bool : ty
val string : ty
val bitv : int -> ty
val float : int -> int -> ty
val roundingMode : ty
Sourceval regexp : ty
Sourceval ty : term -> ty
Sourceval to_ety : ty -> Ty.t