package rml

  1. Overview
  2. Docs
type kind =
  1. | Default
  2. | Memory
type (!'a, !'b) t = {
  1. mutable status : int;
  2. mutable value : 'b;
  3. mutable pre_status : int;
  4. mutable last : 'b;
  5. default : 'b;
  6. combine : 'a -> 'b -> 'b;
  7. kind : kind;
}
val instant : int ref
val absent : int
val create : 'a -> ('b -> 'a -> 'a) -> ('b, 'a) t
val create_memory : 'a -> ('b -> 'a -> 'a) -> ('b, 'a) t
val default : ('a, 'b) t -> 'b
val status : ('a, 'b) t -> bool
val value : ('a, 'b) t -> 'b
val pre_status : ('a, 'b) t -> bool
val last : ('a, 'b) t -> 'b
val pre_value : ('a, 'b) t -> 'b
val one : ('a, 'b list) t -> 'b
val emit : ('a, 'b) t -> 'a -> unit
val next : unit -> unit