(* Title:  Specify/o-model.sml

   Author: Walther Neuper 110226

   (c) due to copyright terms

 *)

signature ORIGINAL_MODEL =

sig

(*     vats*)

  type variants = Model_Def.variants

(*     ori list*)

  type T = Model_Def.o_model

(*     ori *)

  type single = Model_Def.o_model_single

(*    oris2str*)

  val to_string: T -> string

(*    e_ori*)

  val single_empty: single

(*/------- to O_Model from Model 1 -------\*)

  type preori

(*\------- to O_Model from Model 1 -------/*)

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

  val preoris2str : preori list -> string

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

  (* NONE *)

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

end

structure O_Model(**) : ORIGINAL_MODEL(**) =

struct

type variants =  Model_Def.variants;

type T = Model_Def.o_model;

type single = Model_Def.o_model_single

val single_empty = Model_Def.o_model_empty;

val to_string = Model_Def.o_model_to_string;

(*/------- to O_Model from Model 1 -------\*)

(* an or without leading integer *)

type preori = (variants * string * term * term list);

fun preori2str (vs, fi, t, ts) = 

  "(" ^ (strs2str o (map string_of_int)) vs ^ ", " ^ fi ^ ", " ^

  UnparseC.term t ^ ", " ^ (strs2str o (map UnparseC.term)) ts ^ ")";

val preoris2str = (strs2str' o (map (linefeed o preori2str)));

(*\------- to O_Model from Model 1 -------/*)

(**)end(**);