module LucidPropDeclaration