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.

Metadata

Release files for tree-sitter-iml 0.29.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for tree-sitter-iml 0.29.0
File	Size	Uploaded
tree_sitter_iml-0.29.0.tar.gz	2.3 MB	Oct 13, 2026	Details

Built distributions (wheels)

Table of built distributions (wheels) for tree-sitter-iml 0.29.0
File	Interpreter	ABI	Platform	Reset
tree_sitter_iml-0.29.0-cp310-abi3-win_arm64.whl 899.1 kB Oct 13, 2026	CPython 3.10	abi3	Windows ARM64	Details
tree_sitter_iml-0.29.0-cp310-abi3-win_amd64.whl 903.6 kB Oct 13, 2026	CPython 3.10	abi3	Windows x86-64	Details
tree_sitter_iml-0.29.0-cp310-abi3-musllinux_1_2_x86_64.whl 965.0 kB Oct 13, 2026	CPython 3.10	abi3	Linux musl 1.2+ x86-64	Details
tree_sitter_iml-0.29.0-cp310-abi3-musllinux_1_2_aarch64.whl 960.4 kB Oct 13, 2026	CPython 3.10	abi3	Linux musl 1.2+ ARM64	Details
tree_sitter_iml-0.29.0-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl 967.2 kB Oct 13, 2026	CPython 3.10	abi3	Linux glibc 2.17+ x86-64, Linux glibc 2.28+ x86-64	Details
tree_sitter_iml-0.29.0-cp310-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl 962.7 kB Oct 13, 2026	CPython 3.10	abi3	Linux glibc 2.17+ ARM64, Linux glibc 2.28+ ARM64	Details
tree_sitter_iml-0.29.0-cp310-abi3-macosx_11_0_arm64.whl 967.4 kB Oct 13, 2026	CPython 3.10	abi3	macOS 11.0+ ARM64	Details
tree_sitter_iml-0.29.0-cp310-abi3-macosx_10_9_x86_64.whl 900.4 kB Oct 13, 2026	CPython 3.10	abi3	macOS 10.9+ x86-64	Details

Total release size: 9.8 MB

Release files / tree_sitter_iml-0.29.0.tar.gz

Download URL	tree_sitter_iml-0.29.0.tar.gz
Size	2.3 MB
Tags	Source
SHA-256 checksum How to use checksums	`844cdc22b1c82b5a802f96bb27d38eb18dfa4a13bc321bd0a06a9939a89985ba`
BLAKE2b-256 checksum How to use checksums	`b852f571e5390737cc63edd01ad145f555dbd00cf370fcf547b0d0edf0e0b96c`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-win_arm64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-win_arm64.whl
Size	899.1 kB
Tags	CPython 3.10 Windows ARM64 abi3
SHA-256 checksum How to use checksums	`fae9603af09ddc8c610badeabdaf0e3d5322f89aae4e4c3613c598e56f4cb6de`
BLAKE2b-256 checksum How to use checksums	`c3b925f67a176de8ea8f99702cd820bceb9488e87fadd0c2da427d24ea9b68bc`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-win_amd64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-win_amd64.whl
Size	903.6 kB
Tags	CPython 3.10 Windows x86-64 abi3
SHA-256 checksum How to use checksums	`2324023729292fdbf6492425a90e9c0ca203ed59fa74d7eb9b44ae04d4ec346e`
BLAKE2b-256 checksum How to use checksums	`58fef6a7cf0ddb5a7ea9ad340d708b5408ac19b2b546f07ac9fab407c8bab767`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-musllinux_1_2_x86_64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-musllinux_1_2_x86_64.whl
Size	965.0 kB
Tags	CPython 3.10 Linux musl 1.2+ x86-64 abi3
SHA-256 checksum How to use checksums	`9176d048bcaf92ccae33dcb9b6e00302041e2af40150da4c96e8266d9d4adb24`
BLAKE2b-256 checksum How to use checksums	`d38357824711e6c38698018ad7912dad00697a337804d934c70496dfc93fc466`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-musllinux_1_2_aarch64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-musllinux_1_2_aarch64.whl
Size	960.4 kB
Tags	CPython 3.10 Linux musl 1.2+ ARM64 abi3
SHA-256 checksum How to use checksums	`a18f36443be044bb8401066a7f087db900ec0888df490364a425f5b57634828f`
BLAKE2b-256 checksum How to use checksums	`af9481a1f7490034d46ec8a9480a0c0b66f0259fad190ba6dcfa585f56859b39`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
Size	967.2 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	`4b07395d21759052bdad73a9aeda21670e3a0ce7894852748857be69c723d597`
BLAKE2b-256 checksum How to use checksums	`6a7458572249098c9ff92cbe286f5ee73f761f421e64948d990ad33137fe70c7`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
Size	962.7 kB
Tags	CPython 3.10 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 abi3
SHA-256 checksum How to use checksums	`4a0d9b4466532243efd79d2c5a98ae68a9f7b0e7e93f30d8d95be3500f86dcfa`
BLAKE2b-256 checksum How to use checksums	`5991a60693a5c40725de40c38a70c1a8700611065ed8c347eed4965547d3cf89`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-macosx_11_0_arm64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-macosx_11_0_arm64.whl
Size	967.4 kB
Tags	CPython 3.10 abi3 macOS 11.0+ ARM64
SHA-256 checksum How to use checksums	`21dcbc355a345bd80b1f9c32ca05f057c3d794a6d2f38832ec52e5384bea67e9`
BLAKE2b-256 checksum How to use checksums	`b9c3f92bb295efef4eedefceb497a6bc4918e6c226c708d33f5420c1f65f064d`
Upload date	Oct 13, 2026
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.29.0-cp310-abi3-macosx_10_9_x86_64.whl

Download URL	tree_sitter_iml-0.29.0-cp310-abi3-macosx_10_9_x86_64.whl
Size	900.4 kB
Tags	CPython 3.10 abi3 macOS 10.9+ x86-64
SHA-256 checksum How to use checksums	`39f7bf629865665f570c64b44c307e526401d36b804d4e1bdc75e38495c5ad28`
BLAKE2b-256 checksum How to use checksums	`883c362519e09d2d99a0823bf537f2d6315ce4e7917d8551e77ca4d2af56fe8b`
Upload date	Oct 13, 2026
Uploaded using Trusted Publishing? What is trusted publishing?	No
Uploaded via	`twine/7.0.0 CPython/3.13.14`