type 'a t
type 'a elt
type ('a, 'z) create_options
val create : ('a, unit ‑> 'a t) create_options
val of_list : ('a, 'a elt list ‑> 'a t) create_options