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

concrete AllSlv of AllSlvAbs = 
  LangSlv,
  ExtendSlv
  ** {} ;