Attribute Macro elicit::elicit_define

#[elicit_define]

#[elicit_define(MODULE)]
trait Base {..}