Skip to main content

Module lean4pattern_traits

oxilean_codegen::lean4_backend

Module lean4pattern_traits 

Source
Expand description

§Lean4Pattern - Trait Implementations

This module contains trait implementations for Lean4Pattern.

§Implemented Traits

  • Display

🤖 Generated with SplitRS