Home
last modified time | relevance | path

Searched refs:tyl (Results 1 – 25 of 386) sorted by relevance

12345678910>>...16

/dports/lang/ocaml/ocaml-4.05.0/typing/
H A Dprinttyp.ml237 | 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 Doprint.ml187 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 Ddatarepr.ml50 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 Dprinttyp.ml237 | 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 Doprint.ml187 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 Ddatarepr.ml50 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 Dsurface.f77 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 Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/lang/gcc8/gcc-8.5.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/net/goreplay/goreplay-1.2.0/vendor/github.com/klauspost/compress/compress-1.10.10/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/lang/gcc10/gcc-10.3.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/net/rclone/rclone-1.57.0/vendor/github.com/klauspost/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/sysutils/brename/brename-2.11.1/vendor/github.com/klauspost/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/security/vault/vault-1.8.2/vendor/github.com/klauspost/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/lang/gcc11-devel/gcc-11-20211009/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/lang/gcc9-devel/gcc-9-20211007/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/www/filtron/filtron-93f8b22/vendor/github.com/klauspost/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/devel/riscv64-gcc/gcc-8.3.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl
/dports/devel/avr-gcc/gcc-10.2.0/libgo/go/compress/flate/testdata/
H A Dhuffman-text-shift.in2 //UofthiourccodigovrndbyBSD-tyl

12345678910>>...16