package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Dolmen_model.Int`Source

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

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