Function skiff::type_inferencer::constraint_gen::generate_constraints

pub fn generate_constraints(
    program: &Program, 
    data_decl_table: &DataDeclTable
) -> Result<ConstraintSet, InferenceError>