package yices2
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Bit-vectors
val of_int : int -> int -> termval of_int32 : int -> int32 -> termval of_int64 : int -> int64 -> termval of_nativeint : int -> nativeint -> termval of_bools : bool array -> termval of_bin : string -> termval of_hex : string -> termval zero : int -> termval one : int -> termval minus_one : int -> term