copy

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