File: common.mli

package info (click to toggle)
coinst 1.01-2
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 652 kB
  • sloc: ml: 6,576; makefile: 119
file content (10 lines) | stat: -rw-r--r-- 228 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 

type st
val start_parsing : bool -> in_channel -> st
val parsing_tick : st -> unit
val stop_parsing : st -> unit

type st'
val start_generate : bool -> int -> st'
val generate_next : st' -> unit
val stop_generate : st' -> unit