true : use_menhir
<LambdaJS.cma> : library
