tree-sitter-iml 0.25.2

IML (Imandra Modeling Language) grammar for tree-sitter

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.