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

abstract AllInaAbs = Lang ;