Module Mdx_top

Toplevel logic for mdx.

type t

The type for configuration values.

type directive =
  1. | Directory of string
  2. | Load of string
    (*

    The type for toplevel directives

    *)
val init : verbose:bool -> silent:bool -> verbose_findlib:bool -> directives:directive list -> packages:string list -> predicates:string list -> unit -> t

init () is a new configuration value.

val eval : t -> string list -> (string list, string list) Result.result

eval t p evaluates the toplevel phrase p (possibly spawning on mulitple lines) with the configuration value t.

val in_env : Mdx.Ocaml_env.t -> (unit -> 'a) -> 'a