« Previous | Next » 

Revision bdb7dbbb

IDbdb7dbbbc4f0924efbbbe05619d58e4547785012
Parent 736ba160
Child 9f80119c

Added by Guido Trotter over 11 years ago

Add generator for list of arbitrary instances

This takes an instance generator and produces a possibly empty list of
instances.

Signed-off-by: Guido Trotter <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences