Function chrysanthemum::verify::verify

pub fn verify(program: Vec<Decl>) -> Result<VContext, Error>

Validates whether a program is valid. Returns the Context full of things ready to compile.