Module Cmdlang_stdlib_runner.Arg_runner

Internal representation used to run a parser.

This is the final representation returned after all of the parsing phases have completed, and is ready to run user code.

type 'a t =
  1. | Value : 'a -> 'a t
  2. | Map : {
    1. x : 'a t;
    2. f : 'a -> 'b;
    } -> 'b t
  3. | Both : 'a t * 'b t -> ('a * 'b) t
  4. | Apply : {
    1. f : ('a -> 'b) t;
    2. x : 'a t;
    } -> 'b t
val eval : 'a t -> 'a