
     Copyright © 2011 MLstate 

     This file is part of  . 

      is free software : you can redistribute it and/or modify it under the 
     terms of the GNU Affero General Public License , version 3 , as published by 
     the Free Software Foundation . 

      is distributed in the hope that it will be useful , but WITHOUT ANY 
     WARRANTY ; without even the implied warranty of MERCHANTABILITY or FITNESS 
     FOR A PARTICULAR PURPOSE . See the GNU Affero General Public License for 
     more details . 

     You should have received a copy of the GNU Affero General Public License 
     along with  . If not , see < / > . 

    Copyright © 2011 MLstate

    This file is part of Opa.

    Opa is free software: you can redistribute it and/or modify it under the
    terms of the GNU Affero General Public License, version 3, as published by
    the Free Software Foundation.

    Opa is distributed in the hope that it will be useful, but WITHOUT ANY
    WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
    FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
    more details.

    You should have received a copy of the GNU Affero General Public License
    along with Opa. If not, see </>.
*)
* 
    Translation from parsers ( essentially : parsing expression grammars ' AST ) 
    to  code implementing them . 

    @author   

   Translation from parsers (essentially: parsing expression grammars' AST)
   to Opa code implementing them.

   @author Adam Koprowski
*)

val translate_rule :
  (string, [< SurfaceAst.all_directives > `coerce] as 'a)
  SurfaceAst.expr Trx_ast.expr -> (string, 'a) SurfaceAst.expr


     Copyright © 2011 MLstate 

     This file is part of  . 

      is free software : you can redistribute it and/or modify it under the 
     terms of the GNU Affero General Public License , version 3 , as published by 
     the Free Software Foundation . 

      is distributed in the hope that it will be useful , but WITHOUT ANY 
     WARRANTY ; without even the implied warranty of MERCHANTABILITY or FITNESS 
     FOR A PARTICULAR PURPOSE . See the GNU Affero General Public License for 
     more details . 

     You should have received a copy of the GNU Affero General Public License 
     along with  . If not , see < / > . 

    Copyright © 2011 MLstate

    This file is part of Opa.

    Opa is free software: you can redistribute it and/or modify it under the
    terms of the GNU Affero General Public License, version 3, as published by
    the Free Software Foundation.

    Opa is distributed in the hope that it will be useful, but WITHOUT ANY
    WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
    FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
    more details.

    You should have received a copy of the GNU Affero General Public License
    along with Opa. If not, see </>.
*)
* 
    Translation from parsers ( essentially : parsing expression grammars ' AST ) 
    to  code implementing them . 

    @author   

   Translation from parsers (essentially: parsing expression grammars' AST)
   to Opa code implementing them.

   @author Adam Koprowski
*)

val translate_rule :
  (string, [< SurfaceAst.all_directives > `coerce] as 'a)
  SurfaceAst.expr Trx_ast.expr -> (string, 'a) SurfaceAst.expr
