package yices2

  1. Overview
  2. Docs

Integer terms

val of_int : int -> term
val of_int32 : int32 -> term
val of_int64 : int64 -> term
val of_nativeint : nativeint -> term
val of_z : Z.t -> term