=======
Include
@include foo.pg
def baz : ★ := A;
@include bar.pg
---
(program
(preprocess
(command)
(post_command))
(definition
(identifier)
(ascription
(expr
(app_term
(binex
(app
(term
(sort
(star))))))))
(identifier)))))))
(post_command)))