package async_smtp
SMTP client and server
Install
Dune Dependency
Authors
Maintainers
Sources
async_smtp-v0.15.0.tar.gz
sha256=41e265c2d1cd7cde23235d4bb3692226be7d159e4c82e976e68e838b910865d6
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)"
>