method private virtual undefined : ('r, 'a) T2(M).mmethod private virtual value_of_word : word -> ('r, 'a) T2(M).mmethod private virtual word_of_value : 'r -> (word option, 'a) T2(M).mmethod private virtual storage_of_value : 'r -> ('s option, 'a) T2(M).m