diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-01 22:20:27 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-01 22:20:27 +0100 |
| commit | d121db88abcf054c2d84ee003edb5791f6a2680e (patch) | |
| tree | 01974c6e7944bb6ebb353c231d5feee4b441c5d5 /scTypes.mli | |
| parent | 397f2878434d1a1a3ea2091f309ae03c58c6c4db (diff) | |
Added unboxed types
Diffstat (limited to 'scTypes.mli')
| -rwxr-xr-x | scTypes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scTypes.mli b/scTypes.mli index de0d6f2..ad0d0ee 100755 --- a/scTypes.mli +++ b/scTypes.mli @@ -94,7 +94,7 @@ module Refs : sig | Matrix: 'a dataFormat * 'a list list -> 'a list list content
type refContent =
- | C: 'a content -> refContent
+ | C: 'a content -> refContent [@@unboxed]
(** extract the content from a range.
|