(* Title:  Specify/formalise.sml

    Author: Walther Neuper 191026

    (c) due to copyright terms

 A formalisation contains all data requred to solve a calculation.

 Specifically in the root of a calculation the formalisation might contain items,

 which are required by Subproblem's (e.g. "errorBound" in case an equation 

 cannot be solved symbolically and thus is solved numerically)

 *)

 signature FORMALISE =

 sig

   type T

   val empty: T

   type model

   type spec

 end

 (**)                   

 structure Formalise(**): FORMALISE(**) =

 struct

 (**)

 type model = Model_Def.form_model;

 type spec = Model_Def.form_spec;

 (* a formalization of an example contains data 

    sufficient for mechanically finding the solution for the example.

    FIXME.WN051014: dont store form_T = (_,form_spec) in the PblObj, this is done in origin *)

 type T = Model_Def.form_T;

 val empty = Model_Def.form_empty;

 (**)end(**);