package yices2

  1. Overview
  2. Docs

Rational terms

val of_int : int -> int -> term
val of_int32 : int32 -> int32 -> term
val of_int64 : int64 -> int64 -> term
val of_nativeint : nativeint -> nativeint -> term
val of_q : Q.t -> term
val parse_rational : string -> term

Parse rational

Parse float

val parse_float : string -> term

Parse float