pyk.klean.generate module

class GenContext[source]

Bases: TypedDict

library_name: str

package_name: str

generate(*, defn: KoreDefn, context: GenContext, output_dir: Path, config: k2l.Config | None = None) → Path[source]