lambek/
constraint.rs

1use crate::bi_type_app::*;
2
3pub trait HasConstraint<X: ?Sized>: BiTypeCon
4{
5  fn with_constraint<'a, R: 'a>(cont: BiApp<'a, Self, X, R>) -> R
6  where
7    X: 'a,
8    Self: 'a;
9}