package smtml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Value Types
Pretty Printing
Serialization

An SMT solver frontend for OCaml

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (25)

Authors

Maintainers

F

Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>

Sources

v0.25.0.tar.gz

md5=9ef240b636d7059d48bb54e6b8f0a4c4

sha512=2c73a5baa2e4f8a496f575087597510edae58a4416959108e7a4b063fb9a35ae7461227c679868d82cd324865a563bd2a0df6da1fa3a88d416f76be32ea07809

doc/smtml/Smtml/Num/index.html

Module `Smtml.Num`Source

Typed Values Representation. This module defines types and utilities for representing values with different numeric types, including integers and floating-point numbers. It also provides functions for type checking, comparison, formatting, and conversion.

Value Types

Sourcetype t =

| F32 of int32
(*
32-bit floating-point value, stored as an int32.
*)
| F64 of int64
(*
64-bit floating-point value, stored as an int64.
*)

The type t represents values with different numeric types.

Sourceval type_of : t -> Ty.t

type_of v returns the type of the given value v.

Sourceval compare : t -> t -> int

compare v1 v2 provides a total ordering over values of type t. It returns a negative integer if v1 is less than v2, zero if they are equal, and a positive integer if v1 is greater than v2.

Sourceval equal : t -> t -> bool

equal v1 v2 returns true if v1 and v2 are equal, otherwise false.

Sourceval hash : t -> int

Pretty Printing

Sourceval pp : t Fmt.t

pp is a human-readable formatter for values of type t.

Sourceval pp_safe : t Fmt.t

pp_safe is a round-trip safe formatter for values of type t.

Sourceval pp_with : printer:Ty.printer -> t Fmt.t

pp_with ~printer allows explicit selection of the printing format.

Sourceval pp_no_type : t Fmt.t

pp_no_type is a formatter that prints a value of type t without displaying its type.

Serialization

Sourceval to_string : t -> string

to_string v converts the value v to a string representation.

Sourceval of_string : Ty.t -> string -> (t, [> `Msg of string ]) Smtml_prelude.result

of_string ty s attempts to parse the string s as a value of type ty. Returns Ok v on success, or an error message if parsing fails.

Sourceval to_json : t -> Yojson.Safe.t

to_json v converts the value v into a JSON representation.