package psmt2-frontend
The psmt2-frontend project
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.1.tar.gz
sha256=82d3d69d3009b641c34afe4e4c92b7e900ff459884dc9595ac4463297e0da7a1
doc/index.html
Library psmt2-frontend
An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
The entry point of this library is the module: Psmt2Frontend
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>