val fold :
init:'acc__->imm:('acc__->(int ->t)Variantslib.Variant.t->'acc__)->mem:('acc__->(addr_size->size->t)Variantslib.Variant.t->'acc__)->unk:('acc__->tVariantslib.Variant.t->'acc__)->'acc__
val iter :
imm:((int ->t)Variantslib.Variant.t-> unit)->mem:((addr_size->size->t)Variantslib.Variant.t-> unit)->unk:(tVariantslib.Variant.t-> unit)->
unit
val map :
t->imm:((int ->t)Variantslib.Variant.t->int ->'result__)->mem:
((addr_size->size->t)Variantslib.Variant.t->addr_size->size->'result__)->unk:(tVariantslib.Variant.t->'result__)->'result__