Module Language_extension.Maturity

val max : maturity -> maturity -> maturity