;;; -*- Mode: TDL-*- ;;; Authors: ;;; 2004-2006 Berthold Crysmann ;;; Copyright: DFKI GmbH :include "general". ;; name of type containing quick check structure qc-structure-unif := $qc_unif_set. packing-restrictor := RELS HCONS V1 SLASH ACTIVE INERT SELF.