package dolmen

  1. Overview
  2. Docs
A parser library for automated deduction

Install

Dune Dependency

Authors

Maintainers

Sources

dolmen-0.10.tbz
sha256=c5c85f77e3924f378e8d82f166eefe4131b4e041bf9cdeca467410f33c71fa61
sha512=42feb39d13cfdc8a2054abe85ccc47755f45059cda7d95e9261b5a9fd5c730f420732547b3fa19c4af059474f887ef78c119ab5933375a5ea2dbe888f65a3e4f

doc/dolmen.intf/Dolmen_intf/Msg/index.html

Module Dolmen_intf.MsgSource

Messages

This module deines an abstraction for text/messages. Using strings to pass around text is certainly useful, but suffers from a few problems, mainly the fact that id doesn't compose well with Format's boxes: particularly, if a message is generated, and then included in another larger message, it is problematic to format the first message alone, because then when inlcuded in the larger one, boxes and break hints can no longer be used. Fortunaltely, there is a solution: mainly delay printing using closures and use format's %t.

Sourcetype t = Format.formatter -> unit

A message is a delayed format printer. Such values can be created using Foormat.dprintf, and consumed using "%t" in format strings

OCaml

Innovation. Community. Security.