66 < meta charset ="utf-8 " />
77 < meta name ="viewport " content ="width=device-width, initial-scale=1.0 " /> < meta name ="viewport " content ="width=device-width, initial-scale=1 " />
88
9- < title > 1. Definitions — Phlex 0 (bd5cea8 ) documentation</ title >
9+ < title > 1. Definitions — Phlex 0 (9568349 ) documentation</ title >
1010 < link rel ="stylesheet " type ="text/css " href ="../static/pygments.css?v=d75fae25 " />
1111 < link rel ="stylesheet " type ="text/css " href ="../static/phlexframework.css?v=c39e41a1 " />
1212 < link rel ="stylesheet " type ="text/css " href ="../static/graphviz.css?v=4ae1632d " />
2121
2222 < script src ="../static/jquery.js?v=5d32c60e "> </ script >
2323 < script src ="../static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c "> </ script >
24- < script src ="../static/documentation_options.js?v=2b9a4827 "> </ script >
24+ < script src ="../static/documentation_options.js?v=3eb3759b "> </ script >
2525 < script src ="../static/doctools.js?v=9bcbadda "> </ script >
2626 < script src ="../static/sphinx_highlight.js?v=dc90522c "> </ script >
2727 < script src ="../static/sphinx-data-viewer/jsonview.bundle.js?v=18cd53c5 "> </ script >
2828 < script src ="../static/sphinx-data-viewer/jsonview_loader.js?v=f7ff7e7d "> </ script >
2929 < script src ="../static/sphinx-needs/libs/html/datatables.min.js?v=8a4aee21 "> </ script >
3030 < script src ="../static/sphinx-needs/libs/html/datatables_loader.js?v=a2cae175 "> </ script >
3131 < script src ="../static/sphinx-needs/libs/html/sphinx_needs_collapse.js?v=dca66431 "> </ script >
32- < script > window . MathJax = { "loader" : { "load" : [ "[tex]/newcommand" , "[tex]/textmacros" ] } , "tex" : { "packages" : { "[+]" : [ "newcommand" , "textmacros" ] } , "macros" : { "one" : [ "\\Bbb{1}" , 0 ] , "opt" : [ "\\text{Opt}(#1)" , 1 ] , "transform" : [ "\\textrm{transform}(#1)" , 1 ] , "predicate" : [ "\\textrm{predicate}(#1)" , 1 ] , "filter" : [ "\\textrm{filter}(#1)" , 1 ] , "observe" : [ "\\textrm{observe}(#1)" , 1 ] , "unfold" : [ "\\textrm{unfold}(#1, #2)" , 2 ] , "punfold" : [ "\\textrm{unfold}(#1, #2, #3)" , 3 ] , "fold" : [ "\\textrm{fold}(#1, #2)" , 2 ] , "pfold" : [ "\\textrm{fold}(#1, #2, #3)" , 3 ] , "window" : [ "\\textrm{window}(#1, #2)" , 2 ] , "isetdefault" : [ "\\mathcal{I}" , 0 ] , "iset" : [ "\\mathcal{I}_{#1}" , 1 ] , "sequence" : [ "\\left[#1_i\\right]_{i \\in \\mathcal{I}}" , 1 ] , "isequence" : [ "\\left[#1_i\\right]_{i \\in \\mathcal{I}_{#2}}" , 2 ] , "comp" : [ "\\circ" , 0 ] } } } </ script >
32+ < script > window . MathJax = { "loader" : { "load" : [ "[tex]/newcommand" , "[tex]/textmacros" ] } , "tex" : { "packages" : { "[+]" : [ "newcommand" , "textmacros" ] } , "macros" : { "bool" : [ "\\mathbb{B}" , 0 ] , " one" : [ "\\Bbb{1}" , 0 ] , "opt" : [ "\\text{Opt}(#1)" , 1 ] , "transform" : [ "\\textrm{transform}(#1)" , 1 ] , "predicate" : [ "\\textrm{predicate}(#1)" , 1 ] , "filter" : [ "\\textrm{filter}(#1)" , 1 ] , "observe" : [ "\\textrm{observe}(#1)" , 1 ] , "unfold" : [ "\\textrm{unfold}(#1, #2)" , 2 ] , "punfold" : [ "\\textrm{unfold}(#1, #2, #3)" , 3 ] , "fold" : [ "\\textrm{fold}(#1, #2)" , 2 ] , "pfold" : [ "\\textrm{fold}(#1, #2, #3)" , 3 ] , "window" : [ "\\textrm{window}(#1, #2)" , 2 ] , "isetdefault" : [ "\\mathcal{I}" , 0 ] , "iset" : [ "\\mathcal{I}_{#1}" , 1 ] , "sequence" : [ "\\left[#1_i\\right]_{i \\in \\mathcal{I}}" , 1 ] , "isequence" : [ "\\left[#1_i\\right]_{i \\in \\mathcal{I}_{#2}}" , 2 ] , "comp" : [ "\\circ" , 0 ] } } } </ script >
3333 < script defer ="defer " src ="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js "> </ script >
3434 < script src ="../static/bizstyle.js "> </ script >
3535 < link rel ="index " title ="Index " href ="../genindex.html " />
@@ -53,7 +53,7 @@ <h3>Navigation</h3>
5353 < li class ="right " >
5454 < a href ="../ch_conceptual_design/user_configuration.html " title ="3.10. Program Configuration "
5555 accesskey ="P "> previous</ a > |</ li >
56- < li class ="nav-item nav-item-0 "> < a href ="../index.html "> Phlex 0 (bd5cea8 ) documentation</ a > »</ li >
56+ < li class ="nav-item nav-item-0 "> < a href ="../index.html "> Phlex 0 (9568349 ) documentation</ a > »</ li >
5757 < li class ="nav-item nav-item-this "> < a href =""> < span class ="section-number "> 1. </ span > Definitions</ a > </ li >
5858 </ ul >
5959 </ div >
@@ -197,7 +197,7 @@ <h3>Navigation</h3>
197197 < li class ="right " >
198198 < a href ="../ch_conceptual_design/user_configuration.html " title ="3.10. Program Configuration "
199199 > previous</ a > |</ li >
200- < li class ="nav-item nav-item-0 "> < a href ="../index.html "> Phlex 0 (bd5cea8 ) documentation</ a > »</ li >
200+ < li class ="nav-item nav-item-0 "> < a href ="../index.html "> Phlex 0 (9568349 ) documentation</ a > »</ li >
201201 < li class ="nav-item nav-item-this "> < a href =""> < span class ="section-number "> 1. </ span > Definitions</ a > </ li >
202202 </ ul >
203203 </ div >
0 commit comments