type step
val step_t : step Irmin.Type.t