package async_smtp
SMTP client and server
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=c416027c2537e22129f7049bf03ec3f867557d47b194d7e91d72c399fe656b27
doc/async_smtp.tools/Async_smtp_tools/Log_selector/index.html
Module Async_smtp_tools.Log_selector
Source
permissive_cnf query
returns a simplified conjunctive normal form that is more permissive and does not contain negated terms.
There are a couple of special cases to be aware of:
- The empty conjunction list (top) is equivalent to
True
- A disjunction containing a
Not
is replaced byTrue
- An empty disjuction list (middle) is equivalent to
False
, and the whole cnf will be rewritten to[ ]
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>