kdrag.printers.lean.accessor_def

kdrag.printers.lean.accessor_def(dt: DatatypeSortRef, n: int, i: int) → str

Make a lean definition that matches accessor, otherwise returns default. This might not be a perfect translation of accessor behavior in SMTLIB

Parameters:

• dt (DatatypeSortRef)

• n (int)

• i (int)

Return type:

str