Module polar_core::macros

Structs

TestHelper

Special struct which is way more eager at implementing From for a bunch of things, so that in the macros we can use TestHelper<Term>::from and try and convert things as often as possible.

Constants

ORD

Statics

NEXT_ID