On This Page
package dolmen_model
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Value definition
************************************************************************
val ops : bool Value.opsops for boolean values.
val mk : bool -> Value.tBoolean value creation.
val builtins : Env.t -> Dolmen.Std.Expr.Term.Const.t -> Value.t optionbuiltins for booleans
On This Page