Lines Matching refs:list
5 val f_compile : thm list -> ((thm * thm) list, thm list * thm list) Lib.verdict6 (* val b_compile : ((thm * thm) list, 'c) Lib.verdict -> ((thm * thm) list, 'c) Lib.verdict7 val pp_compile : thm list -> ((thm * thm) list, thm list * thm list) Lib.verdict