Skip to main content

Module element_type

oak_lean::parser

Module element_type 

Source
Expand description

Element types and tree structure definitions for Lean.

Enumsยง

LeanElementType
Element types for the Lean language.