
*** load ../../Models/STM6Test/xall
load ../../Models/TinyKB/all
load ../lib-util
load ../lib-meta   
load ../lib-imaude 
mod RFE is
  inc REWRITE .
  inc FILEMANAGER .
  inc G2D .
  inc SEQUENCER .
  inc LISTENER .
endm

load ../PLACORE/load-pla-core       
load load-maude2json

***(
mod MAUDE2JSON is
  inc LOCS2JSON .
  inc MODS2JSON .
  inc ENTITIES2JSON .
  inc OCCS2JSON .
  inc RULES2JSON .
  inc BASICOPS2JSON .
endm
load pla-json
)

mod IPLA-JSON is inc INTERACTIVE-PLA . inc PLA-JSON . endm
