(* Title:  MathEngBasic/specification-def.sml

    Author: Walther Neuper

    (c) due to copyright terms

 Required for Ctree definition.

 *)

 signature SPECIFICATION_DEFINITION =

 sig

   type T

   val empty: T

 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)

   (*NONE*)

 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )

   (*NONE*)

 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)

 end

 (**)                   

 structure Specification_Def(**): SPECIFICATION_DEFINITION(**) =

 struct

 (**)

 type T =

   bool *              (* I_Model.T andalso Pre_Conds.T      *)

   Pos.pos_ *          (* model belongs to Problem or Method *)

   term *              (* the headline shown on Calc.T       *)

   Model_Def.i_model * (* used by I_Model.T                  *)

   (Pre_Conds_Def.T) * (* used by Pre_Conds.T                *)

   References.T;       (* into Know_Store                    *)

 val empty =

   (false, Pos.Und, TermC.empty, [Model_Def.i_model_empty], [(false, TermC.empty)], References.empty);

 (**)end(**)