From a039add6e749b10bb260af93bacf51eb3870a04f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 22 Mar 2016 18:42:08 +0100 Subject: [PATCH] add `Containers.{Char,Result}` --- src/core/containers.ml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/core/containers.ml b/src/core/containers.ml index d38654de..21b95f65 100644 --- a/src/core/containers.ml +++ b/src/core/containers.ml @@ -80,3 +80,12 @@ module Vector = CCVector module Int64 = CCInt64 (** @since 0.13 *) + +module Char = struct + include Char + include (CCChar : module type of CCChar with type t := t) +end +(** @since NEXT_RELEASE *) + +module Result = CCResult +(** @since NEXT_RELEASE *)