leq

fun leq(x: Any, y: Any): Boolean