Giters

janestreet / uopt

An [option]-like type that incurs no allocation, without requiring a reserved value in the underlying type

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

An [option]-like type that incurs no allocation, without requiring a reserved value in the underlying type

License:MIT License

Languages

Language:OCaml 97.2%Language:Makefile 2.8%