sig
  type 'a view = 'a Generic_core.Desc.Con.t list
  type 'a t = 'a Generic_view_conlist.view
  val view : 'a Generic_core.Ty.T.ty -> 'a Generic_view_conlist.view
  val conap :
    'a Generic_core.Desc.Con.t list -> 'a -> 'a Generic_core.Desc.Con.conap
end