let
default_explorer_defaults : explorer_defaults = explorer ()