package dolmen
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.Msg
Source
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.
A message is a delayed format printer. Such values can be created using Foormat.dprintf
, and consumed using "%t" in format strings
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>