(* Title:  Interpret/lucas-interpreter.sml

   Author: Walther Neuper 2019

   (c) due to copyright terms

*)

signature METHOD =

sig

  type T = Meth_Def.T

  val empty: T

  type id = Meth_Def.id

  val id_empty: id

  val id_to_string: id -> string

(*val metID2str: id -> string*)

(* ---- 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 Method(**): METHOD(**) =

struct

(**)

type T = Meth_Def.T;

val empty = Meth_Def.empty;

type id = Meth_Def.id;

val id_empty = Meth_Def.id_empty;

val id_to_string = Meth_Def.id_to_string;

(**)end(**)