tree-sitter-iml
This module provides IML (Imandra Modeling Language) grammars for the [tree-sitter][] parsing library. It's based on the tree-sitter-ocaml grammar.
Installation
pip install tree-sitter-iml
You will probably also need the [tree-sitter binding][tree-sitter binding].
pip install tree-sitter
Usage
Load the grammar as a Language object:
import tree_sitter_iml
from tree_sitter import Language, Parser
language_iml = Language(tree_sitter_iml.language_iml())
Create a Parser and configure it to use the language:
parser = Parser(language_iml)
Parse some source code:
tree = parser.parse(iml_code)
Use language_iml() for IML files, language_ocaml() for OCaml files,
language_ocaml_interface() to parse interface files (with .mli extension),
and language_ocaml_type() to parse type signatures.
1 maintainer
Metadata
1 maintainer
Release files for tree-sitter-iml 0.28.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| tree_sitter_iml-0.28.0.tar.gz | 2.3 MB | Details |
Built distributions (wheels)
Total release size: 9.8 MB
Release files / tree_sitter_iml-0.28.0.tar.gz
| Download URL | tree_sitter_iml-0.28.0.tar.gz |
|---|---|
| Size | 2.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
55d5196ea2bed0c75ee090359c3d5513358e0a93e038fdf9daf35cd44ccfa88d
|
|
BLAKE2b-256 checksum How to use checksums |
775754c870e54cd28cbf552e5d5f4879462483ada731d756f07753314df96bd0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-win_arm64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-win_arm64.whl |
|---|---|
| Size | 892.1 kB |
| Tags | CPython 3.10 Windows ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
0cc6c29324a19f02b1d53f6e9fe1b2b97ab980aae6321d784a3d5865fd1b6adb
|
|
BLAKE2b-256 checksum How to use checksums |
e256a652c71430ea441b9f251948d5b2629d4610353a8ee210b37374fe1d4f9f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-win_amd64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-win_amd64.whl |
|---|---|
| Size | 898.8 kB |
| Tags | CPython 3.10 Windows x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
a0bdcf54a1002509243a46aaf70955789c4e6af71d0f025ebdb32374f318d95e
|
|
BLAKE2b-256 checksum How to use checksums |
546afe33ad89b66ded6f35434bbd3c01cd115dfa12defd666165ed33c50935c9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-musllinux_1_2_x86_64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 957.3 kB |
| Tags | CPython 3.10 Linux musl 1.2+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
a19541c3556dd11b54c83971a571f97c7945bb9a947d67e4134ef0e0ce652086
|
|
BLAKE2b-256 checksum How to use checksums |
f25b1738e7563e48ae517ce13251c2f004ea0f58c6f176f28ec0484dc0aab53f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-musllinux_1_2_aarch64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 955.9 kB |
| Tags | CPython 3.10 Linux musl 1.2+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
c8d5dfde2c881353dc719a24c34dbea64683d0ebbd3e82d905f04784929667f3
|
|
BLAKE2b-256 checksum How to use checksums |
d1641cfdb7b07baab745842816072b010f31d2dc4f1fb15e1a2a52b8997c69a5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 959.1 kB |
| Tags | CPython 3.10 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
e862362bda5113dd5bb15046bc47f28ace4be00e368e35fb52bfc17c6434da65
|
|
BLAKE2b-256 checksum How to use checksums |
48e0349f672d4d5e5bb00f2e246544eed6abd45726d6c8b8ff7d23f636c53dd4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 958.2 kB |
| Tags | CPython 3.10 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
89a90cc351e55e5992986da5aa2c44effd7df593248245182d2a07106ac3b41a
|
|
BLAKE2b-256 checksum How to use checksums |
e67b874361c2864a312b94d4349373c1835cb72c4f200bf26d9845bb721f9bcb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-macosx_11_0_arm64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-macosx_11_0_arm64.whl |
|---|---|
| Size | 960.3 kB |
| Tags | CPython 3.10 abi3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
c672c54a67ea01e9a9759bb2b2732a4d5376b1a8b0c6988818b616e7a765f22d
|
|
BLAKE2b-256 checksum How to use checksums |
1f18851bc93ea867cc411383aab0dc7999458fbc215f9ecf7418d48ca6afcfa0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tree_sitter_iml-0.28.0-cp310-abi3-macosx_10_9_x86_64.whl
| Download URL | tree_sitter_iml-0.28.0-cp310-abi3-macosx_10_9_x86_64.whl |
|---|---|
| Size | 896.0 kB |
| Tags | CPython 3.10 abi3 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
1a023901deadcd1f225e1fe486f69f91374edc8b380ac67846e69b5cfa6df47b
|
|
BLAKE2b-256 checksum How to use checksums |
4beeba8f3d45dca3575b02b31a16d35d57f16d0a78c9656a1f257a0b15c745f6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
