Commits

camlspotter  committed 4ad7cb9

restricted type of surrounded

  • Participants
  • Parent commits 315f725

Comments (0)

Files changed (1)

File lib/planck_intf.ml

 
   (** Surrounded / listed *)
     
-  val surrounded : 'a t -> 'b t -> 'c t -> 'c t
+  val surrounded : unit t -> unit t -> 'c t -> 'c t
   (** [surrounded left right content] is for [content] prefixed by [left] and postfixed by [right] *)
-  (* CR jfuruse: 'a t and 'b t are too general. unit t ? *)
-  (* CR jfuruse: labels ? *)
 
   val list_with_sep : ?optional_head:bool -> sep:unit t -> 'a t -> 'a list t
   (** [list_with_sep ?optional_head ~sep a] is for parsing list of [a] separated by [sep].