License rust and c source files

This commit is contained in:
Jianfeng Jiang
2024-01-03 03:22:36 +00:00
committed by Tate, Hongliang Tian
parent 5fb8a9f7e5
commit faaa4438d6
559 changed files with 1192 additions and 89 deletions

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
//! define macro assert_type_same
use crate::same::SameAs;

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
//! Type level bools
pub use core::ops::BitAnd as And;

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
use crate::{Cons, Nil};
/// This trait will extend a set with another item.

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
//! Type Level If
use crate::bool::{False, True};

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
//! The content of this crate is from another project CapComp.
//! This crate defines common type level operations, like SameAsOp, and Bool type operations.
//! Besides, this crate defines operations to deal with type sets, like SetContain and SetInclude.

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
//! Traits used to check if two types are the same, returning a Bool.
//! This check happens at compile time

View File

@ -1,3 +1,5 @@
// SPDX-License-Identifier: MPL-2.0
//! Common types and traits to deal with type-level sets
use core::marker::PhantomData;