Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/emptyWithCapacity
/
.
/
src
/
util
/
unit.h
blob: 126a6ac198f3ed12e8d2cefef2ac7e5f65d982bb [
file
] [
edit
]
/*
Copyright (c) 2017 Microsoft Corporation. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Author: Gabriel Ebner
*/
#pragma
once
namespace
lean
{
struct
unit
{};
}