Telvm_conf (telvm.Telvm

type t

The type for configuration values.

val make : data_dir:B0_std.Fpath.t -> state_dir:B0_std.Fpath.t -> t

make is a configuration with given parameters. See accessors for semantics.

val discover : 
  data_dir:B0_std.Fpath.t option ->
  state_dir:B0_std.Fpath.t option ->
  (t, string) Stdlib.result

discover ~data_dir ~state_dir is a configuration whose unspecified parameters are discovered.

val data_dir : t -> B0_std.Fpath.t

data_dir conf is the data directory. May not exist.

val state_dir : t -> B0_std.Fpath.t

state_dir conf is the state directory. May not exist.

val winvos_create_log_file : t -> B0_std.Fpath.t

winvos_create_log conf is the path to the WinVOS create log file. May not exist.

val pp : t B0_std.Fmt.t

pp formats configurations for inspection.