Module type Leftist.MinMax

val m : m