# `Tptp.Printer.Shapes`
[🔗](https://github.com/jcschuster/tptp/blob/v0.1.3/lib/tptp/printer/shapes.ex#L1)

How each node kind is spelled, derived from the grammar.

DO NOT EDIT. Generated by `mix tptp.gen` from
`SyntaxBNF-v9.3.1.3`.

A shape is a list of items in source order: `:slot` takes the next child, a
binary is a literal to emit. `{:separated, ","}` is a variadic list — every
child, joined by that literal.

Keyed by kind and child count, which the grammar makes sufficient. Anything
not listed is a leaf, and prints its own text.

A separated list is the exception, and matches any arity: the grammar writes
`<tff_arguments> ::= <tff_term><comma_tff_term>*`, so its production has two
symbols however many arguments the call actually has.

# `item`

```elixir
@type item() :: :slot | binary()
```

One item of a shape: a child slot or a literal.

# `t`

```elixir
@type t() :: [item()] | {:separated, binary()}
```

How a node kind is spelled.

# `shape`

```elixir
@spec shape(atom(), non_neg_integer()) :: t() | nil
```

The shape for a node kind at a child count, or `nil` for a leaf.

---

*Consult [api-reference.md](api-reference.md) for complete listing*