diff --git a/src/core/CCFormat.ml b/src/core/CCFormat.ml index 7e0dfa50..965ff9ed 100644 --- a/src/core/CCFormat.ml +++ b/src/core/CCFormat.ml @@ -5,6 +5,8 @@ type 'a sequence = ('a -> unit) -> unit +include Format + type t = Format.formatter type 'a printer = t -> 'a -> unit diff --git a/src/core/CCFormat.mli b/src/core/CCFormat.mli index 65830791..a9f40d07 100644 --- a/src/core/CCFormat.mli +++ b/src/core/CCFormat.mli @@ -7,6 +7,8 @@ type 'a sequence = ('a -> unit) -> unit +include module type of Format + type t = Format.formatter type 'a printer = t -> 'a -> unit