Line 5633 of prim-types.fs (v1.9.7.8) has the following type abbreviation:
type 'T ``lazy`` = Lazy<'T>
I have a few questions about this.
type lazy<'T> = Lazy<'T>
Double back ticks are a way to allow the use of the F # keyword as an identifier. Another example might be
let ``let`` = 42
, F # O'Caml, (, 'a list, int array ..), .NET- (, list<'a>, array<int> ..), ( , , lazy - ). O'Caml (, let (m:(int,string) Map) = Map.empty let (m:Map<int,string>) = Map.empty).
'a list
int array
list<'a>
array<int>
lazy
let (m:(int,string) Map) = Map.empty
let (m:Map<int,string>) = Map.empty