functor (S : Irmin.AO_MAKER_RAW-> Irmin.AO_MAKER_RAW