random.info

这是我们参加06年全国开源软件的竞赛作品

@FILES
  {"random"; "The Random structure";}
@SIGNATURE RANDOM "random" {
  @TYPES 
    @TYPE rand
  @VALS 
    randInt
    randRange
    rand
    randReal
    fromString
    randNat
    toString
}
@STRUCTURE Random "random" RANDOM