path: root/library/states.mli

(* $Id$ *)

type state

val intern_state : string -> unit
val extern_state : string -> unit