!7

set flag AllowMetaCode.

concept Line {
  S line;
  bool trigger; // means that line can be inferred
}

cmodule LinesWithTriggers > DynCRUD<Line> {
  *() { super(Line); }
}