package current

  1. Overview
  2. Docs
type 'a term

See TERM.

type env

See INPUT.

type analysis

See ANALYSIS.

val run : env:env -> (unit -> 'a term) -> 'a Output.t * analysis

run ~env f evaluates term f (), returning the current output and its analysis.