P1704 Undefined functions in axiom-level contract statements #472

Closed

Closed

P1704 Undefined functions in axiom-level contract statements#472

Labels

Milestone

opened

on Jun 23, 2019

P1704R0 Undefined functions in axiom-level contract statements (Andrzej Krzemieński, Joshua Berne)

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

2019-07

Relationships

None yet

Development

No branches or pull requests