Variant_choice_assoc.P
val name : string
val doc : string
type t
val assoc_map : (string * t) list
val default : t