/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/typing-labels/ |
H A D | mixin.ml | 44 let subst_lambda ~subst_rec ~free ~subst : _ lambda -> _ = function 55 subst_rec ~subst:(Subst.add ~key:s ~data:(`Var name) subst) t) 57 map_lambda ~map_rec:(subst_rec ~subst:(Subst.remove s subst)) l 59 map_lambda ~map_rec:(subst_rec ~subst) l 70 let rec subst1 ~subst = subst_lambda ~subst_rec:subst1 ~free:free1 ~subst 103 let subst_expr ~subst_rec ~subst : _ expr -> _ = function 105 | #expr as e -> map_expr ~map_rec:(subst_rec ~subst) e 117 let rec subst2 ~subst = subst_expr ~subst_rec:subst2 ~subst 133 #lambda as x -> subst_lambda ~subst_rec:subst ~subst:s ~free x 134 | #expr as x -> subst_expr ~subst_rec:subst ~subst:s x
|
/dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/typing-labels/ |
H A D | mixin.ml | 44 let subst_lambda ~subst_rec ~free ~subst : _ lambda -> _ = function 55 subst_rec ~subst:(Subst.add ~key:s ~data:(`Var name) subst) t) 57 map_lambda ~map_rec:(subst_rec ~subst:(Subst.remove s subst)) l 59 map_lambda ~map_rec:(subst_rec ~subst) l 70 let rec subst1 ~subst = subst_lambda ~subst_rec:subst1 ~free:free1 ~subst 103 let subst_expr ~subst_rec ~subst : _ expr -> _ = function 105 | #expr as e -> map_expr ~map_rec:(subst_rec ~subst) e 117 let rec subst2 ~subst = subst_expr ~subst_rec:subst2 ~subst 133 #lambda as x -> subst_lambda ~subst_rec:subst ~subst:s ~free x 134 | #expr as x -> subst_expr ~subst_rec:subst ~subst:s x
|
/dports/lang/ruby26/ruby-2.6.9/test/ruby/ |
H A D | sentence.rb | 226 Sentence.new(subst_rec(@sent, target, &b)) 230 def subst_rec(obj, target, &b) method in Sentence 233 obj.each {|e| a << subst_rec(e, target, &b) }
|
/dports/textproc/uim-gtk/sigscheme-beb8fbd/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-gtk/uim-d1ac9d9/sigscheme/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-gtk3/sigscheme-beb8fbd/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-qt5/sigscheme-beb8fbd/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-qt5/uim-d1ac9d9/sigscheme/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-m17nlib/uim-d1ac9d9/sigscheme/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-m17nlib/sigscheme-beb8fbd/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/textproc/uim-gtk3/uim-d1ac9d9/sigscheme/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/japanese/uim-anthy/sigscheme-beb8fbd/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/japanese/uim-anthy/uim-d1ac9d9/sigscheme/src/ |
H A D | qquote.c | 323 ScmObj subst_rec, subst_index; in scm_vectran() local 358 subst_rec = CONS(subst_index, obj); in scm_vectran() 359 SCM_QUEUE_ADD(t->u.vec.q, subst_rec); in scm_vectran()
|
/dports/math/z3/z3-z3-4.8.13/src/qe/ |
H A D | qe_datatype_plugin.cpp | 483 subst_rec(x, vl, fml, def); in subst() 664 void subst_rec(contains_app& contains_x, rational const& vl, expr_ref& fml, expr_ref* def) { in subst_rec() function in qe::datatype_plugin
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
H A D | qe_datatype_plugin.cpp | 483 subst_rec(x, vl, fml, def); in subst() 664 void subst_rec(contains_app& contains_x, rational const& vl, expr_ref& fml, expr_ref* def) { in subst_rec() function in qe::datatype_plugin
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/parsetree/ |
H A D | source.ml | 3270 let subst_lambda ~subst_rec ~free ~subst : _ lambda -> _ = function 3281 subst_rec ~subst:(Subst.add ~key:s ~data:(`Var name) subst) t) 3283 map_lambda ~map_rec:(subst_rec ~subst:(Subst.remove s subst)) l 3285 map_lambda ~map_rec:(subst_rec ~subst) l 3296 let rec subst1 ~subst = subst_lambda ~subst_rec:subst1 ~free:free1 ~subst 3329 let subst_expr ~subst_rec ~subst : _ expr -> _ = function 3331 | #expr as e -> map_expr ~map_rec:(subst_rec ~subst) e 3343 let rec subst2 ~subst = subst_expr ~subst_rec:subst2 ~subst 3359 #lambda as x -> subst_lambda ~subst_rec:subst ~subst:s ~free x 3360 | #expr as x -> subst_expr ~subst_rec:subst ~subst:s x
|
/dports/lang/ocaml/ocaml-4.05.0/testsuite/tests/parsetree/ |
H A D | source.ml | 3270 let subst_lambda ~subst_rec ~free ~subst : _ lambda -> _ = function 3281 subst_rec ~subst:(Subst.add ~key:s ~data:(`Var name) subst) t) 3283 map_lambda ~map_rec:(subst_rec ~subst:(Subst.remove s subst)) l 3285 map_lambda ~map_rec:(subst_rec ~subst) l 3296 let rec subst1 ~subst = subst_lambda ~subst_rec:subst1 ~free:free1 ~subst 3329 let subst_expr ~subst_rec ~subst : _ expr -> _ = function 3331 | #expr as e -> map_expr ~map_rec:(subst_rec ~subst) e 3343 let rec subst2 ~subst = subst_expr ~subst_rec:subst2 ~subst 3359 #lambda as x -> subst_lambda ~subst_rec:subst ~subst:s ~free x 3360 | #expr as x -> subst_expr ~subst_rec:subst ~subst:s x
|