libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.
CSPM.Evaluator.File
bindFile :: TCCSPMFile -> EvaluationMonad [(Name, EvaluationMonad Value)]Source