{"ast_node_type":"enum","tokens":[{"end":26,"kind":"keyword","start":0,"text":"enum"}]}
enum ConstraintDirection {
#[derive(Copy, Clone, PartialEq, Eq, Debug)]
    /// For covariant cases, we add a forward edge `O at P1 -> O at P2`.