Ssreflect Users Discussion List

[Pierre-Yves Strub <>]

On 02/04/2014 23:41, Enrico Tassi wrote:

>   move=> P Q R h; have [: p] := h p.

What the [: p] pattern is doing ? I never saw it (and greping all the .v 
gives me very few info...)

Pierre-Yves.