List.Make
module T : PTR_TYP
include PTR_TYP with type t = T.t list
type t = T.t list
val typ : t Ctypes.typ