Ability to specify pure function and effects through type annotations

Description

None

Environment

None

Status

Assignee

Unassigned

Reporter

Suminda Dharmasena

Labels

None

Components

Fix versions

Priority

Medium
Configure