/dports/lang/ocaml/ocaml-4.05.0/typing/ |
H A D | printtyp.ml | 237 | Id -> tyl 266 let tyl = List.map repr tyl in 442 let tyl = List.map repr tyl in 486 | Ttuple tyl -> List.iter (mark_loops_rec visited) tyl 580 | Ttuple tyl -> 584 let tyl' = apply_subst s tyl in 638 let tyl = List.map repr tyl in 754 (fun tyl ty -> 756 if List.memq ty tyl then Btype.newgenty (Tsubst ty) :: tyl 758 [] tyl [all …]
|
H A D | oprint.ml | 187 Otyp_tuple tyl -> 195 | Otyp_constr (id, tyl) -> 240 n tyl; 270 tyl 275 | ty :: tyl -> 284 | tyl -> 307 | tyl -> 310 tyl 318 | tyl -> 544 begin match tyl with [all …]
|
H A D | datarepr.ml | 50 let newgenconstr path tyl = newgenty (Tconstr (path, tyl, ref Mnil)) 53 let tyl = 62 let arg_vars_set = free_vars (newgenty (Ttuple tyl)) in 66 (tyl, existentials) 69 let tyl, existentials = constructor_existentials cd_args cd_res in 73 let arg_vars_set = free_vars ~param:true (newgenty (Ttuple tyl)) in
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/typing/ |
H A D | printtyp.ml | 237 | Id -> tyl 266 let tyl = List.map repr tyl in 442 let tyl = List.map repr tyl in 486 | Ttuple tyl -> List.iter (mark_loops_rec visited) tyl 580 | Ttuple tyl -> 584 let tyl' = apply_subst s tyl in 638 let tyl = List.map repr tyl in 754 (fun tyl ty -> 756 if List.memq ty tyl then Btype.newgenty (Tsubst ty) :: tyl 758 [] tyl [all …]
|
H A D | oprint.ml | 187 Otyp_tuple tyl -> 195 | Otyp_constr (id, tyl) -> 240 n tyl; 270 tyl 275 | ty :: tyl -> 284 | tyl -> 307 | tyl -> 310 tyl 318 | tyl -> 544 begin match tyl with [all …]
|
H A D | datarepr.ml | 50 let newgenconstr path tyl = newgenty (Tconstr (path, tyl, ref Mnil)) 53 let tyl = 62 let arg_vars_set = free_vars (newgenty (Ttuple tyl)) in 66 (tyl, existentials) 69 let tyl, existentials = constructor_existentials cd_args cd_res in 73 let arg_vars_set = free_vars ~param:true (newgenty (Ttuple tyl)) in
|
/dports/science/tinker/tinker/source/ |
H A D | surface.f | 77 real*8 txl,tyl,tzl local 352 tyl = yc(l) 357 uxl = txl*axx + tyl*axy - tzl*axz 358 uyl = tyl*ayy - txl*ayx 359 uzl = txl*azx + tyl*azy + tzl*azz 657 real*8 txl,tyl,tzl local 957 tyl = yc(l) 962 uxl = txl*axx + tyl*axy - tzl*axz 963 uyl = tyl*ayy - txl*ayx 964 uzl = txl*azx + tyl*azy + tzl*azz
|
/dports/lang/gcc12-devel/gcc-12-20211205/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/lang/gcc8/gcc-8.5.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/net/goreplay/goreplay-1.2.0/vendor/github.com/klauspost/compress/compress-1.10.10/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/lang/gcc10/gcc-10.3.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/net/rclone/rclone-1.57.0/vendor/github.com/klauspost/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/sysutils/brename/brename-2.11.1/vendor/github.com/klauspost/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/security/vault/vault-1.8.2/vendor/github.com/klauspost/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/lang/gcc11-devel/gcc-11-20211009/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/lang/gcc9-devel/gcc-9-20211007/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/www/filtron/filtron-93f8b22/vendor/github.com/klauspost/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/devel/riscv64-gcc/gcc-8.3.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|
/dports/devel/avr-gcc/gcc-10.2.0/libgo/go/compress/flate/testdata/ |
H A D | huffman-text-shift.in | 2 //UofthiourccodigovrndbyBSD-tyl
|