Build a new type

as_assertion_factory(f)

Arguments

f

a function