//
// Libcrux implementation classes
// Copyright (c) Microsoft Corporation. Licensed under the MIT license.
class ImpLibcrux {
public:
static char * name;
};
VOID
addLibcruxAlgs();