File ‹zippy_exception_mixin_base.ML›

(*  Title:      Zippy/zippy_exception_mixin_base.ML
    Author:     Kevin Kappelmann
*)
signature ZIPPY_EXCEPTION_MIXIN_BASE =
sig
  include \<^eval>‹sfx_ParaT_nargs "MORPH_BASE"›
  structure ME : \<^eval>‹sfx_ParaT_nargs "MONAD_EXCEPTION_BASE"›
  sharing type ME.t = M.t
end

functor Zippy_Exception_Mixin_Base(
    ME : \<^eval>‹sfx_ParaT_nargs "MONAD_EXCEPTION_BASE"›
  ) : ZIPPY_EXCEPTION_MIXIN_BASE
  =
struct
structure ME = ME
structure MB = \<^eval>‹sfx_ParaT_nargs "Morph_Base"›(ME)
open MB
end