Repository of Wyjec functions, providing fast access to a function by its name and supported types of actual parameters.