Module Incremental_kernel__.Step_function

A module internal to Incremental. Users should see Incremental_intf.

An 'a Step_function.t is a kind of DAG node that represents a function from Time_ns.t to 'a with a finite number of steps. The steps are in nondecreasing time order.

include module type of sig ... end

type 'a t = 'a Incremental_kernel__Types.Step_function.t = {

main : 'a Incremental_kernel__Types.Node.t;

mutable value : 'a;

mutable upcoming_steps : (Incremental_kernel__.Import.Time_ns.t * 'a) list;

mutable alarm : Incremental_kernel__Types.Alarm.t;

}

include Core_kernel.Invariant.S1 with type a t := a t

type 'a t

val invariant : 'a Base__.Invariant_intf.inv ‑> 'a t Base__.Invariant_intf.inv

include Incremental_kernel__.Sexp_of.S1 with type a t := a t

type 'a t

include sig ... end

val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a t ‑> Sexplib.Sexp.t

val advance : _ t ‑> time_passed:(Incremental_kernel__.Import.Time_ns.t ‑> bool) ‑> unit