Module InferCumulativity

val infer_inductive : env_params:Environ.env -> Univ.Level.t array -> Entries.one_inductive_entry list -> Univ.Variance.t array