(* packed library/bytecode file, generated automatically by himmlpack. *)
open* "term.mlx";
open* "gclause.mlx";
open* "pl_tab.mlx";
open* "pl_lex.mlx";
open* "rel.mlx";
open* "yyerror.mlx";
open* "plpurge.mlx";
