Module Typed.Types

val int : int ty

int represents the integer type.

val real : real ty

real represents the real number type.

val bool : bool ty

bool represents the bool type.

val string : string ty

string represents the string type.

val bitv8 : bitv8 ty

bitv8 represents the type of a bitvector with 8-bits.

val bitv16 : bitv16 ty

bitv16 represents the type of a bitvector with 16-bits.

val bitv32 : bitv32 ty

bitv32 represents the type of a bitvector with 32-bits.

val bitv64 : bitv64 ty

bitv64 represents the type of a bitvector with 64-bits.

val bitv128 : bitv128 ty

bitv128 represents the type of a bitvector with 128-bits.

val float32 : float32 ty

float32 represents the type of a float with 32-bits.

val float64 : float64 ty

float64 represents the type of a float with 64-bits.

val pp : 'a ty Fmt.t
val to_ty : 'a ty -> Ty.t

to_ty ty converts the type ty to an smtml type representation.