descript-lang-0.2.0.0: test-resources/examples/Types.Exp.out.yaml
final?: false eval: "Nat[] | Succ[prev: Succ[prev: Succ[prev: Succ[prev: Succ[prev: Zero[]]]]]]"
final?: false eval: "Nat[] | Succ[prev: Succ[prev: Succ[prev: Succ[prev: Succ[prev: Zero[]]]]]]"