internal/core/debug: document Config fields
Signed-off-by: Daniel Martí <mvdan@mvdan.cc>
Change-Id: If8650d7e1275f9f48870a8ed4e98685ea5b83397
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1236173
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@gmail.com>