copy

inline fun copy(block: VdmOptions.Builder.() -> Unit = {}): VdmOptions