Library CFML.Stdlib.Stdlib

Require Export Pervasives_ml Pervasives_proof.