package current

  1. Overview
  2. Docs
type 'a term

See TERM.

val run : 'a term -> 'a Output.t Current_incr.t

run t is the output value of t (i.e. without the static analysis part).