Reynir Björnsson
71cc34bac3
We are not going to use the extra bit, and String.length returns the size as an int anyway. |
||
---|---|---|
.. | ||
builder_web.ml | ||
dune | ||
model.ml | ||
model.mli | ||
views.ml |
Reynir Björnsson
71cc34bac3
We are not going to use the extra bit, and String.length returns the size as an int anyway. |
||
---|---|---|
.. | ||
builder_web.ml | ||
dune | ||
model.ml | ||
model.mli | ||
views.ml |