random.info

来自「这是我们参加06年全国开源软件的竞赛作品」· INFO 代码 · 共 16 行

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