Int (u.6e082589628567f596298b69cf11640f.dolmen_model.0.10.doc.dolmen_model.Dolmen

************************************************************************

Sourcetype t = Z.t

Ints are represented using zarith's integer type.

Sourceval ops : Z.t Value.ops

ops for integer values.

Sourceval mk : Z.t -> Value.t

integer value creation.

************************************************************************

Sourceval builtins : Env.builtins

builtins for integers

************************************************************************

Sourceval ceil : Q.t -> Z.t

Sourceval floor : Q.t -> Z.t

Sourceval truncate : Q.t -> Z.t