type Term

cli@0.2.0.0 · cli.bend:4985

import Base

4985type Term is Data:
4986  Term{out_color: Bool, err_color: Bool, width: Nat}