1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// Extend standard type with property Length
type Int32 (* = int *) with
    member this.Length with get () = 5 
    end


// Declare inline generic function
let inline length (a : ^a) = (^a : (member Length : int ) a ) 


// Tests 
let s = "" and i = 1 in 
let _ = length s in // Test generic on string  OK
let _ = i.Length in // Test type extention     OK
let _ = length i in // ERROR  : The type 'int' does not support any operators named 'get_Length'.
()