Option variable
default_let_rule_package
Default value: default_let_rule_package
default_let_rule_package
is the name of the rule package used when one
is not explicitly set by the user with let
or by changing the value of
current_let_rule_package
.