package psmt2-frontend
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
The psmt2-frontend project
Install
Authors
Maintainers
Sources
0.4.0.tar.gz
sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780
Description
An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Published: 26 Mar 2021
Dev Dependencies (4)
-
ocamlformat
with-test
-
odoc
with-doc
-
ppx_expect
with-test
-
ppx_inline_test
with-test
Used by (1)
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page