SB
Size: a a a
SB
IR
IR
IR
M
NM
type Blablabla = { bla: int }
static member encode(b: Blablabla) = ...
(^a: (static member encode: ^b -> ^a) x)
VK
type Blablabla = { bla: int }
static member encode(b: Blablabla) = ...
(^a: (static member encode: ^b -> ^a) x)
VK
VA
NM
IR
VA
M
M
VS
VS
VA
VS
VA