RiSE4fun samples for F*List of built-in samples for the F* in RiSE4funen-USrise4fun © 2017 Microsoft Corporationhttp://rise4fun.com//Images/Rise.gifRiSE4fun samples for F*http://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)