[Ur] Signature for a style declaration

[Adam Chlipala]

On 10/14/2013 01:26 PM, Sergey Mironov wrote:
> I want to export some styles from my module. What signatures should I
> write in the *urs file in order to do it? For example, bootstrap
> library exports styles but it doesn't contain urs file (Ur/Web
> generates it silently AFAIK). But in my case it is my responsibility
> so how should I handle it?
>
> Placing
>
> (* Module.urs *)
> val mystyle : css_class
>
> (* Module.ur *)
> style mystyle
>
> doesn't work :(
>    

"Doesn't work" in what sense?  My natural extension from your example 
works fine.

You can write
     style mystyle
in a signature, as a shorthand for what you wrote above.