vasily-kirichenko

[<AutoOpen>]
module UoM =
    // Units of measure for other than integral types

    let inline (++) (w: ^W when ^W: (static member IsMeasureAbbrev: ^tm * ^t -> unit)) (t: ^t) = (# "" t: ^tm #)
    let inline (--) (w: ^W when ^W: (static member IsMeasureAbbrev: ^tm * ^t -> unit)) (tm: ^tm) = (# "" tm: ^t #)

    [<MeasureAnnotatedAbbreviation>]
    type Guid<[<Measure>] 'm> = Guid