Module aya.base

Package org.aya.prettier

package org.aya.prettier

Class	Description
AyaPrettierOptions
AyaPrettierOptions.Key
BasePrettier<Term extends AyaDocile>
BasePrettier.Fmt<T extends AyaDocile>
BasePrettier.Outer	Expression: where am I? Top-level expression may not need parentheses, stone free! An argument of an application! Stay in parentheses! An operand of a binary application! Applications within are safe, but other binary applications are in danger! Codomain of a telescope
Codifier	Do not need to use Doc, because we do not care about output format.
ConcretePrettier
CorePrettier	It's the pretty printer.