From d121db88abcf054c2d84ee003edb5791f6a2680e Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 1 Nov 2017 22:20:27 +0100 Subject: Added unboxed types --- scTypes.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scTypes.mli') 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. -- cgit v1.2.3