module sema.VC;

import basic.Message;

/**
    VC is short for verification context.

    This class holds various things that are neccesary to verify validity
    of the AST.
**/
class VC
{
    MessageHandler msg;
}