Lib.rs

›

macro specler_macros

Specler macros make it easier to attach specifications to structs

391 downloads per month
Used in specler_common

CC0 license

4KB

A collection of procedural macros for use with the specler crate.

~205–640KB
~15K SLoC