summaryrefslogtreecommitdiff
path: root/src/globals.sig
blob: 0cff65b5d6ba0b517c30b613f64c3ea5dc189d2d (plain)
1
2
3
4
5
6
7
signature GLOBALS = sig

    (* When was the Ur/Web compiler started or reset? *)
    val setResetTime : unit -> unit
    val getResetTime : unit -> Time.time

end