module T : sig ... endclass map : object ... endclass iter : object ... endclass +'b fold : object ... endclass +'b fold_map : object ... endclass +'b map_with_context : object ... endclass virtual +'b lift : object ... endclass type 'res std_lifters = object ... end