1 2 3 4 5 6 7 8 9 10 11
use super::ty::Type; use crate::core::{BindingId, StructuralClause}; #[derive(Clone)] pub struct StructuralTrait { pub binding: BindingId, pub method: BindingId, pub parameters: Vec<Type>, pub result: Type, pub clause: StructuralClause, }