RiSE4fun samples for F*List of built-in samples for the F* in RiSE4funen-US<a target='_blank' href='https://go.microsoft.com/?linkid=2028325'>Contact Us</a>| <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=521839'>Privacy &amp; Cookies</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkID=246338'>Terms of Use</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=506942 '>Trademarks</a>| &copy; 2017 Microsofthttps://rise4fun.com//Images/Rise.gifRiSE4fun samples for F*https://rise4fun.com/FStar/hellohellomodule Hello (* Verification in F* is based on "refinement types". An example of a refinement type is (x:int{x=0}). This is the type of constant 0, a subset of the type of integers. *) type zero = x:int{x=0} (* This is an error, of course. *) let fail = assert (0=1)