Skip to main content

Module parser

oak_lean

Module parser 

Source
Expand description

Parser module.

Modules§

element_type
Element types and tree structure definitions for Lean.

Structs§

LeanParser
Parser implementation for the Lean language.