Method ctors

crates/compile/src/mutual.rs:150–155

Returns the constructors if this is an inductive, or an empty vec otherwise.

(&self)

  /// Returns the constructors if this is an inductive, or an empty vec otherwise.
  pub fn ctors(&self) -> Vec<ConstructorVal> {
    match self {
      Self::Indc(ind) => ind.ctors.clone(),
      _ => vec![],
    }
  }
  /// Returns `true` if this mutual constant contains the given name
  /// (including constructor names for inductives).
  pub fn contains(&self, name: &Name) -> bool {