Attribute Macro elicit::melicit_define

#[melicit_define]

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