Previous  Up  

Module Generic_view.Conlist

module Conlist: Generic_view_conlist
type 'a view = 'a Desc.Con.t list 
type 'a t = 'a view 
val view : 'a Ty.T.ty -> 'a view
val conap : 'a Desc.Con.t list -> 'a -> 'a Desc.Con.conap
Raises Not_found if the constructor is not in the list 
   conap cs x = Conap (c,y)  ==>  c.embed y = x