(*
 * OCanren PPX
 * Copyright (C) 2016-2024
 *   Dmitrii Kosarev aka Kakadu
 * St.Petersburg State University, JetBrains Research
 *)

let () =
  Smart_logger.register ();
  Ppxlib.Driver.standalone ()
;;
