Module Parameter.List
val vars : t list -> Variable.t listextract variables from a list of parameters, preserving the order
Parameter.Listval vars : t list -> Variable.t listextract variables from a list of parameters, preserving the order