

load maude2json-aux
load locs2json
load mods2json

load entities2json
load occs2json
load rules2json

load basicops2json

**** 15dec20 clt -- for generating json sort info
load sorts2json


mod MAUDE2JSON is
  inc LOCS2JSON .
  inc MODS2JSON .
  inc ENTITIES2JSON .
  inc OCCS2JSON .
  inc RULES2JSON .
  inc BASICOPS2JSON .
**** 15dec20 clt -- for generating json sort info
  inc ALLOPS2JSON .
endm

load net2jnet

load pla-json
