#!/usr/bin/env bash
# beagle-explain-type: project the checker's inferred types back into surface.
#
# Usage:
#   beagle-explain-type FILE [NAME] [--level clean|inferred|all]
#
# clean    = the source as written (no types in the text)
# inferred = source + `:- T` on un-annotated let-bindings (inferred on demand)
# all      = source + `^T` on every typed interior node (pp.all)
#
# Types live nowhere in your source; this summons them as a view.

set -euo pipefail
source "$(dirname "$0")/_beagle-racket"

exec "$RACKET" "$BEAGLE_ROOT/beagle-lib/private/type-view.rkt" "$@"
