Home
last modified time | relevance | path

Searched refs:subst_rec (Results 1 – 17 of 17) sorted by relevance

/dports/lang/ocaml-nox11/ocaml-4.05.0/testsuite/tests/typing-labels/
H A Dmixin.ml44 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 Dmixin.ml44 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 Dsentence.rb226 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqquote.c323 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 Dqe_datatype_plugin.cpp483 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 Dqe_datatype_plugin.cpp483 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 Dsource.ml3270 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 Dsource.ml3270 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