#use "include";;

#cd".";;
#directory "src";;

#use "syntax.ml";;
open Syntax
open Covering
open Splitting

#install_printer  (* lhs *) pplhs;;
#install_printer  (* clause *) ppclause;;
#install_printer  (* splitting *) ppsplit;;
#install_printer  (* splitting *) ppcontext_map_empty;;
