#use "topfind";;
#require "logs.top";;
#require "fmt.top";;
#require "pvec";;
#require "rresult.top";;
(*#require "compiler-libs.toplevel";;*)
#mod_use "lib/xi_crdt.ml";;
#mod_use "lib/xi_rope_top.ml";;

open Xi_crdt;;

(* demo: *)

#require "lwt.unix";;
#require "notty.unix";;
#require "notty.lwt";;
#require "notty.top";;
#mod_use "demo/notty_demo.ml";;
open Notty_demo;;
#install_printer Notty_demo.Linevec.pp;;

