List1 (XML.Common.Ast.List1)

type 'a t = 'a * 'a list

val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool

val pp : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a t ->
  unit

val show : (Stdlib.Format.formatter -> 'a -> unit) -> 'a t -> ident

val gen : 'a QCheck.Gen.t -> ('a * 'a list) QCheck.Gen.t

val arb : 'a QCheck.Gen.t -> ('a * 'a list) QCheck.arbitrary