Structure Unittest

signature Unittest =
sig

  val assert : bool * string -> unit
  val die : string -> 'a

  val run_unittests : unit -> unit

end

HOL 4, Trindemossen-1