Var: Option ("+" Option)*

Defined options are:

type(+Type)

Defines the type to be used for Var. Types are defined by library(error). Type terms can also be used without the type(Type) wrapper.

default(+Default)

Default value to use.

label(+Label)

Provide a name. This is required when projection/1 hides the Prolog variable name.