package dolmen_model

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type t = Q.t

val ops : t Value.ops

ops for real values.

val mk : t -> Value.t

real value creation.

val get : Value.t -> Q.t

Get a rational value.

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

val builtins : Env.builtins

builtins for reals