From c1d980048dd319ab456aa3401f4feb6d596b872a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 1 Apr 2023 20:24:53 -0400 Subject: [PATCH] more doc --- src/pp/containers_pp.mli | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/pp/containers_pp.mli b/src/pp/containers_pp.mli index ffc76fad..bed504d6 100644 --- a/src/pp/containers_pp.mli +++ b/src/pp/containers_pp.mli @@ -118,6 +118,11 @@ module Ext : sig pre: Out.t -> 'a -> unit; (** Printed before the wrapped value. *) post: Out.t -> 'a -> unit; (** Printed after the wrapped value. *) } + (** An extension is a custom document node. It takes a value of type ['a], + and a document [d], and can output what it wants based + on the custom value before and after [d] is printed. + + The extension is considered to have width [0]. *) end val ext : 'a Ext.t -> 'a -> t -> t