Up

Module T1

A time source has a phantom read-write parameter, where write gives permission to call advance and fire_past_alarms.

Signature

val sexp_of_t : ('rw -> Sexplib.Sexp.t) -> 'rw t -> Sexplib.Sexp.t