File: saveState.mli

package info (click to toggle)
planets 0.1.12-4
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 352 kB
  • ctags: 585
  • sloc: ml: 2,894; makefile: 125; ansic: 38
file content (5 lines) | stat: -rw-r--r-- 222 bytes parent folder | download | duplicates (10)
1
2
3
4
5
val write_state : string -> unit  (** Writes state to file specified by string *)
val read_state : string -> unit   (** Reads state from file specified by string *)

val help_start : bool
val set_help_start : bool -> unit