search

GaloisInc / ivory

The Ivory EDSL
http://ivorylang.org
BSD 3-Clause "New" or "Revised" License
393 stars 28 forks source link

add ConstPtr #97

Closed cblp closed 7 years ago

cblp commented 7 years ago
mutable const
non-nullable Ref ConstRef
nullable Ptr :question:
leepike commented 7 years ago

Great idea! Thanks for doing this work.