?                       Set Variable Types, Argument Types and Return
                        Types.
Any                     Assertion factories of package 'typed'
as_assertion_factory    Build a new type
check_output            Check Argument Types and Return Type
process_assertion_factory_dots
                        Process assertion factory dots
