Module Telvm_conf

Global configuration

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 data_dir : t -> B0_std.Fpath.t

data_dir conf is the data directory. Unless make is used directly this is guaranteed to be absolute.

val state_dir : t -> B0_std.Fpath.t

state_dir conf is the state directory. Unless make is used directly this is guaranteed to be absolute.

val pp : t B0_std.Fmt.t

pp formats an unspecified representation of configuration.

Discovery and setup

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