Up
Module
Step_function
Signature
type
'a t = 'a
Types.Step_function.t
= {
main
: 'a
Types.Node.t
;
mutable
value
: 'a
;
mutable
upcoming_steps
: (
Import.Time_ns.t
* 'a) list
;
mutable
alarm
:
Types.Alarm.t
;
}
val
invariant : 'a
Core_kernel.Invariant_intf.inv
-> 'a
t
Core_kernel.Invariant_intf.inv
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t
val
advance : 'a
t
-> time_passed:(
Import.Time_ns.t
-> bool) -> unit