File ‹output_style.ML›

(*  Title:      SpecCheck/Output_Styles/output_style.ML
    Author:     Lukas Bulwahn and Nicolai Schaffroth, TU Muenchen
    Author:     Christopher League

Output styles for presenting SpecCheck results.
*)

signature SPECCHECK_DEFAULT_OUTPUT_STYLE =
sig
  include SPECCHECK_OUTPUT_STYLE_TYPES
  val default : 'a output_style
end

structure SpecCheck_Default_Output_Style : SPECCHECK_DEFAULT_OUTPUT_STYLE =
struct

open SpecCheck_Output_Style_Types
val default = SpecCheck_Output_Style_Custom.style

end