Make.domain
method private virtual undefined : 'r T1(M).m
method private virtual value_of_word : word -> 'r T1(M).m
method private virtual word_of_value : 'r -> word option T1(M).m
method private virtual storage_of_value : 'r -> 's option T1(M).m