A library providing a FDR-compliant parser, type checker and evaluator for machine CSP.