Function skiff::type_inferencer::type_inference::infer_types

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