Function withAppliedCds

withAppliedCds(
definition: IdentifierDefinition,
defaultCd: readonly ControlDependency[] | undefined,
): IdentifierDefinition
copy of the definition with the given cds attached, marking it as maybe
Parameters
- definition: IdentifierDefinition
- defaultCd: readonly ControlDependency[] | undefined
Returns IdentifierDefinition
- Defined in src/dataflow/environments/reference-to-maybe.ts:13