Package jisd.debug.value

Defines value information recorded by JISD.