Remove remaining mentions of content_signal

Resolves #60.
aantron · Nov 27, 2020 · 420aaa3 · 420aaa3
1 parent e1aed3c
commit 420aaa3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/src/common.ml b/src/common.ml
@@ -62,11 +62,6 @@ type signal =
   | `PI of string * string
   | `Comment of string ]
 
-type content_signal =
-  [ `Start_element of name * (name * string) list
-  | `End_element
-  | `Text of string list ]
-
 type general_token =
   [ `Xml of xml_declaration
   | `Doctype of doctype

diff --git a/src/markup.mli b/src/markup.mli
@@ -534,8 +534,8 @@ val to_list : ('a, sync) stream -> 'a list
 (** {2 Utility} *)
 
 val content : ([< signal ], 's) stream -> (signal, 's) stream
-(** Converts a {!signal} stream into a {!content_signal} stream by filtering out
-    all signals besides [`Start_element], [`End_element], and [`Text]. *)
+(** Filters out all signals besides [`Start_element], [`End_element], and
+    [`Text]. *)
 
 val tree :
   ?text:(string list -> 'a) ->