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

abstract AllTamAbs =
  Lang,
  Extend
  ** {
    fun sing_V2: V2;
  } ;