Module Mirage_key.AliasSource

Alias allows to define virtual keys in terms of other keys at configuration time only.

Alias

The type for key alias.

Sourceval add : 'b key -> ('a -> 'b option) -> 'a t -> 'a t

add k f a set a as an alias for the key k: setting a on the command-line will set k to f applied to a's value. If f returns None, no value is set.

Sourceval flag : Arg.info -> bool t

flag is similar to Arg.flag but defines configure-only command-line flag alias. Set stage to `Configure.