Attribute Macro elicit_define 

#[elicit_define]

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