[ library(module_options) | Reference Manual | Alphabetic Index ]

# print_default_options(+Stream)

Print the valid options and their current default values to Stream

Stream
  An output stream

## Description

The exact behaviour of this predicate depends on the module from where it is invoked: It prints a list of the valid options and their current default values onto the stream Stream.

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

## See Also

library(module_options), get_options / 2, set_default_option / 2