From 125484a9c4d65f081fa7a15fb2d7d1ed74f39f18 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 27 Feb 2015 14:30:59 +0100 Subject: [PATCH] add Float, Ref, Set, Format to CCPervasives --- src/pervasives/CCPervasives.ml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/pervasives/CCPervasives.ml b/src/pervasives/CCPervasives.ml index 13228ed0..96410c18 100644 --- a/src/pervasives/CCPervasives.ml +++ b/src/pervasives/CCPervasives.ml @@ -48,7 +48,13 @@ module Array = struct end module Bool = CCBool module Error = CCError +module Float = CCFloat +module Format = struct + include Format + include CCFormat +end module Fun = CCFun +module Hash = CCHash module Int = CCInt (* FIXME module Hashtbl = struct @@ -72,6 +78,8 @@ module Random = struct include Random include CCRandom end +module Ref = CCRef +module Set = CCSet module String = struct include String include CCString