HList.ml
smaws-lib
1 2 type ('v, 'ty) t = | []: ('v, 'v) t | (::): 'a * ('ty, 'v) t -> ('a -> 'ty, 'v) t
1 2
type ('v, 'ty) t = | []: ('v, 'v) t | (::): 'a * ('ty, 'v) t -> ('a -> 'ty, 'v) t