Attribute Macro melicit_define 

#[melicit_define]

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