mandatory_arg_count is infered in TypesBound.Function