Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
b8a31ed10eeabaca678ab303ec3f4d7d5a817841
/
.
/
src
/
runtime
/
load_dynlib.h
blob: 5f58fd9d6655ba7ed3608cc3976f239d3b7ea31b [
file
]
/*
Copyright (c) 2021 Microsoft Corporation. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Author: Mac Malone
*/
#pragma
once
#include
<string>
namespace
lean
{
void
load_dynlib
(
std
::
string
path
);
}