Searched refs:rec (Results 1 - 4 of 4) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Dfixnames.ml8 let rec string_to_char_list s = if String.length s = 0
12 let rec nextName n = List.rev (match (List.rev n) with
24 let rec getNames t = match t with
40 let rec doRenames tbl ns t = match t with
H A Dexport_helper.ml20 let rec mkSharedHolType tp = match tp with
27 let rec mkSharedTerm t = match t with
69 let rec pp_list pp_el fmt = function
74 let rec pp_shared_hol_type fmt = function
78 let rec pp_shared_term fmt = function
H A Doverload_loadfile.ml3 let rec do_list f l =
82 let rec funpow n f x =
85 let rec get_val acc = function
/hets/Isabelle/export/
H A Dexport_helper.ml775 val rec dtyp2typ = fn (descs,t) => case t of

Completed in 292 milliseconds