Add the Allowed type to libtock_platform.#222

Merged

bors[bot] merged 3 commits intotock:masterfrom jrvanwhy:allowed

Aug 5, 2020

+237

Commits on Jul 17, 2020

Add the Allowed type to libtock_platform.
jrvanwhy
committed

Commits on Aug 4, 2020

Merge branch 'master' into allowed
jrvanwhy
committed

Commits on Aug 5, 2020

Make Allowed require Copy and remove all the Drop-related complexity.
jrvanwhy
committed