Source

cadastr / src / cd_Exn.ml

Full commit
module Exn
 =
  struct

    type t = exn;

    value to_string = Printexc.to_string;

    open Cdt;

    value tifull
     : tifull exn
     =
      new tifull
        ~cmp:(fun a b -> cmp_of_compare_res (Pervasives.compare a b))
        ~eq:( ( = ) )
        ~hash:Hashtbl.hash
        ~show:to_string
        (Simple "exn")
        ()
    ;

    value ti = (tifull :> ti _)
    ;

  end
;