pyk.klean package

Submodules

• pyk.klean.generate module
  • GenContext
    • GenContext.library_name
    • GenContext.package_name
  • generate()
• pyk.klean.k2lean4 module
  • Field
    • Field.name
    • Field.ty
  • K2Lean4
    • K2Lean4.defn
    • K2Lean4.func_module()
    • K2Lean4.inj_module()
    • K2Lean4.rewrite_module()
    • K2Lean4.sort_module()
    • K2Lean4.structure_symbols
    • K2Lean4.structures
    • K2Lean4.symbol_table
• pyk.klean.model module
  • Abbrev
    • Abbrev.ident
    • Abbrev.modifiers
    • Abbrev.signature
    • Abbrev.val
  • Alt
    • Alt.patterns
    • Alt.rhs
  • AltsFieldVal
    • AltsFieldVal.alts
  • Attr
    • Attr.attr
    • Attr.kind
  • AttrKind
    • AttrKind.LOCAL
    • AttrKind.SCOPED
  • Axiom
    • Axiom.ident
    • Axiom.modifiers
    • Axiom.signature
  • Binder
  • BracketBinder
  • Command
  • Ctor
    • Ctor.ident
    • Ctor.modifiers
    • Ctor.signature
  • DeclId
    • DeclId.uvars
    • DeclId.val
  • DeclVal
  • Declaration
    • Declaration.modifiers
  • ExplBinder
    • ExplBinder.idents
    • ExplBinder.ty
  • FieldVal
  • ImplBinder
    • ImplBinder.idents
    • ImplBinder.strict
    • ImplBinder.ty
  • Inductive
    • Inductive.ctors
    • Inductive.deriving
    • Inductive.ident
    • Inductive.modifiers
    • Inductive.signature
  • InstBinder
    • InstBinder.ident
    • InstBinder.ty
  • InstField
    • InstField.lval
    • InstField.signature
    • InstField.val
  • Instance
    • Instance.attr_kind
    • Instance.ident
    • Instance.modifiers
    • Instance.priority
    • Instance.signature
    • Instance.val
  • Modifiers
    • Modifiers.attrs
    • Modifiers.noncomputable
    • Modifiers.totality
    • Modifiers.unsafe
    • Modifiers.visibility
  • Module
    • Module.commands
    • Module.imports
  • Mutual
    • Mutual.commands
  • Signature
    • Signature.binders
    • Signature.ty
  • SimpleFieldVal
    • SimpleFieldVal.term
  • SimpleVal
    • SimpleVal.term
  • StructCtor
    • StructCtor.fields
    • StructCtor.ident
  • StructIdent
    • StructIdent.ident
    • StructIdent.modifiers
  • StructVal
    • StructVal.fields
  • Structure
    • Structure.ctor
    • Structure.deriving
    • Structure.extends
    • Structure.ident
    • Structure.modifiers
    • Structure.signature
  • Term
    • Term.term
  • Totality
    • Totality.NONREC
    • Totality.PARTIAL
  • Visibility
    • Visibility.PRIVATE
    • Visibility.PROTECTED
  • indent()