Function skiff::type_inferencer::constraint_gen::constraint_gen_binop_helper

pub fn constraint_gen_binop_helper(
    label: Symbol, 
    left_label: Symbol, 
    right_label: Symbol, 
    left_type: Term, 
    right_type: Term, 
    output_type: Term
) -> ConstraintSet