--# -path=.:../abstract:../common:../prelude

concrete AllRon of AllRonAbs =
  LangRon, ExtraRon
  ** {} ;