tree efd2048813d60e78d1cef84688e485292911230f
parent 62155df04db540f1205fa1b36c1b9fab1dbc94f7
author Lev Walkin <vlm@lionet.info> 1508616879 -0700
committer Lev Walkin <vlm@lionet.info> 1508616891 -0700

bound the size of SEQUENCE OF and SET OF random generator