Documentation

run :: Program Annotations -> TC (Constraint, Program Variable) Source #

sprinkleVariables :: Program Annotations -> TC (Program (Annotations, Variable)) Source #

discardAnnotations :: Program (Annotations, Variable) -> Program Variable Source #