Sha256: c3c80bbd80d800f68fbf59d2672ef37758080b4a82430cced14f3181cc1ace74

Contents?: true

Size: 446 Bytes

Versions: 0

Compression:

Stored size: 446 Bytes

Contents

xR]k@
d7[T*2A%%W!2lGt>JB?83A 82s9{Cb|AIkZE9;,gQxO♏9
@@Mx:{Ұ
&4>L -g/A
kgrQ A
}(yH%hiSd
 uBwȹz
gd!zi
'(zbCW
t*`&aHkmwX|;Opm؜-?suTm:{B3eGi'@@D?IR/Ǔ0Lٞgdo{>g[`:݈}<
Y`"1ִ(DⒷIAsG6;BN,^Yڸ1}[yx?%5

Quick Spec version

refinement-0.1.3