| Overview | ![\"erlang](\"erlang.png\") |
Copyright \u00a9 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Manolis Papadakis.
\nThis is PropEr's Reference Manual. If you are new to PropEr, you should\n first read the User Guide (available online at\n PropEr's website,\n and also in PropEr's README file). The bulk of the PropEr API is contained in\n the documentation for the following modules:
\n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,12 +1,12 @@\n _\bO_\bv_\be_\br_\bv_\bi_\be_\bw _\b[_\be_\br_\bl_\ba_\bn_\bg_\b _\bl_\bo_\bg_\bo_\b]\n *\b**\b**\b**\b**\b**\b* P\bPr\bro\bop\bpE\bEr\br:\b: A\bA Q\bQu\bui\bic\bck\bkC\bCh\bhe\bec\bck\bk-\b-i\bin\bns\bsp\bpi\bir\bre\bed\bd p\bpr\bro\bop\bpe\ber\brt\bty\by-\b-b\bba\bas\bse\bed\bd t\bte\bes\bst\bti\bin\bng\bg t\bto\boo\bol\bl f\bfo\bor\br E\bEr\brl\bla\ban\bng\bg\n *\b**\b**\b**\b**\b**\b*\n Copyright \u00a9 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Manolis Papadakis.\n This is PropEr's Reference Manual. If you are new to PropEr, you should first\n read the User Guide (available online at _\bP_\br_\bo_\bp_\bE_\br_\b'_\bs_\b _\bw_\be_\bb_\bs_\bi_\bt_\be, and also in PropEr's\n README file). The bulk of the PropEr API is contained in the documentation for\n the following modules:\n _\bp_\br_\bo_\bp_\be_\br\n how to write properties, how to invoke PropEr, different modes of\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper.html", "unified_diff": "@@ -9,15 +9,15 @@\n \nCopyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:35
\nAuthors: Manolis Papadakis.
\n \nThis is the main PropEr module.
\n \n\n The simplest properties that PropEr can test consist of a single boolean\n expression (or a statement block that returns a boolean), which is expected\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -3,15 +3,15 @@\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br *\b**\b**\b**\b**\b**\b*\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n This is the main PropEr module.\n Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:35\n A\bAu\but\bth\bho\bor\brs\bs:\b: Manolis Papadakis.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n This is the main PropEr module.\n *\b**\b**\b**\b* H\bHo\bow\bw t\bto\bo w\bwr\bri\bit\bte\be p\bpr\bro\bop\bpe\ber\brt\bti\bie\bes\bs *\b**\b**\b**\b*\n The simplest properties that PropEr can test consist of a single boolean\n expression (or a statement block that returns a boolean), which is expected to\n evaluate to true. Thus, the test true always succeeds, while the test false\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_fsm.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_fsm.html", "unified_diff": "@@ -10,15 +10,15 @@\n
proper_fsm behaviour, useful for testing\n systems that can be modeled as finite state machines.\n Copyright \u00a9 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:01
\n+Version: Jun 2 2025 14:41:35
\nAuthors: Eirini Arvaniti.
\n \nThis module defines the proper_fsm behaviour, useful for testing\n systems that can be modeled as finite state machines. That is, a finite\n collection of named states and transitions between them. proper_fsm is\n closely related to proper_statem and is, in fact, implemented in\n terms of that. Testcases generated using proper_fsm will be on precisely\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -4,15 +4,15 @@\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n This module defines the proper_fsm behaviour, useful for testing systems that\n can be modeled as finite state machines.\n Copyright \u00a9 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:01\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:35\n A\bAu\but\bth\bho\bor\brs\bs:\b: Eirini Arvaniti.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n This module defines the proper_fsm behaviour, useful for testing systems that\n can be modeled as finite state machines. That is, a finite collection of named\n states and transitions between them. proper_fsm is closely related to\n _\bp_\br_\bo_\bp_\be_\br_\b__\bs_\bt_\ba_\bt_\be_\bm and is, in fact, implemented in terms of that. Testcases\n generated using proper_fsm will be on precisely the same form as testcases\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_gen.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_gen.html", "unified_diff": "@@ -9,15 +9,15 @@\n
Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Manolis Papadakis.
\n \nGenerator subsystem and generators for basic types.
\n \nYou can use these functions to try out the random \n instance generation and shrinking subsystems.
\n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -3,15 +3,15 @@\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_g\bge\ben\bn *\b**\b**\b**\b**\b**\b*\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Generator subsystem and generators for basic types.\n Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Manolis Papadakis.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n Generator subsystem and generators for basic types.\n You can use _\bt_\bh_\be_\bs_\be functions to try out the random instance generation and\n shrinking subsystems.\n CAUTION: These functions should never be used inside properties. They are meant\n for demonstration purposes only.\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_sa.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_sa.html", "unified_diff": "@@ -9,15 +9,15 @@\n \nCopyright \u00a9 2017 Andreas L\u00f6scher and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:01
\n+Version: Jun 2 2025 14:41:35
\nBehaviours: proper_target.
\nAuthors: Andreas L\u00f6scher.
\n \nfirst_next() = proper_target:tmap()\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,15 +1,15 @@\n _\bO_\bv_\be_\br_\bv_\bi_\be_\bw _\b[_\be_\br_\bl_\ba_\bn_\bg_\b _\bl_\bo_\bg_\bo_\b]\n ===============================================================================\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_s\bsa\ba *\b**\b**\b**\b**\b**\b*\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Copyright \u00a9 2017 Andreas L\u00f6scher and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:01\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:35\n B\bBe\beh\bha\bav\bvi\bio\bou\bur\brs\bs:\b: _\bp_\br_\bo_\bp_\be_\br_\b__\bt_\ba_\br_\bg_\be_\bt.\n A\bAu\but\bth\bho\bor\brs\bs:\b: Andreas L\u00f6scher.\n *\b**\b**\b**\b**\b* D\bDa\bat\bta\ba T\bTy\byp\bpe\bes\bs *\b**\b**\b**\b**\b*\n *\b**\b**\b**\b* f\bfi\bir\brs\bst\bt_\b_n\bne\bex\bxt\bt(\b()\b) *\b**\b**\b**\b*\n first_next() = _\bp_\br_\bo_\bp_\be_\br_\b__\bt_\ba_\br_\bg_\be_\bt_\b:_\bt_\bm_\ba_\bp_\b(_\b)\n *\b**\b**\b**\b**\b* F\bFu\bun\bnc\bct\bti\bio\bon\bn I\bIn\bnd\bde\bex\bx *\b**\b**\b**\b**\b*\n _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b \n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_sa_gen.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_sa_gen.html", "unified_diff": "@@ -9,15 +9,15 @@\n \n
Copyright \u00a9 2017 Andreas L\u00f6scher and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:01
\n+Version: Jun 2 2025 14:41:35
\nAuthors: Andreas L\u00f6scher.
\n \n| from_proper_generator/1 | |
| set_temperature_scaling/1 | |
| update_caches/1 |
proper_statem behaviour, useful for testing\n stateful reactive systems whose internal state and side-effects are\n specified via an abstract state machine.\n Copyright \u00a9 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Eirini Arvaniti.
\n \nThis module defines the proper_statem behaviour, useful for testing\n stateful reactive systems whose internal state and side-effects are\n specified via an abstract state machine. Given a callback module\n implementing the proper_statem behaviour (i.e. defining an abstract state \n machine of the system under test), PropEr can generate random symbolic \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -5,15 +5,15 @@\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n This module defines the proper_statem behaviour, useful for testing stateful\n reactive systems whose internal state and side-effects are specified via an\n abstract state machine.\n Copyright \u00a9 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Eirini Arvaniti.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n This module defines the proper_statem behaviour, useful for testing stateful\n reactive systems whose internal state and side-effects are specified via an\n abstract state machine. Given a callback module implementing the proper_statem\n behaviour (i.e. defining an abstract state machine of the system under test),\n PropEr can generate random symbolic sequences of calls to that system. As a\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_symb.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_symb.html", "unified_diff": "@@ -9,15 +9,15 @@\n
Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:35
\nAuthors: Manolis Papadakis.
\n \nSymbolic datatypes handling functions.
\n \nCopyright \u00a9 2017 Andreas L\u00f6scher and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:01
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Andreas L\u00f6scher.
\n \nfitness() = number()\n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,15 +1,15 @@\n _\bO_\bv_\be_\br_\bv_\bi_\be_\bw _\b[_\be_\br_\bl_\ba_\bn_\bg_\b _\bl_\bo_\bg_\bo_\b]\n ===============================================================================\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_t\bta\bar\brg\bge\bet\bt *\b**\b**\b**\b**\b**\b*\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Copyright \u00a9 2017 Andreas L\u00f6scher and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:01\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Andreas L\u00f6scher.\n *\b**\b**\b**\b**\b* D\bDa\bat\bta\ba T\bTy\byp\bpe\bes\bs *\b**\b**\b**\b**\b*\n *\b**\b**\b**\b* f\bfi\bit\btn\bne\bes\bss\bs(\b()\b) *\b**\b**\b**\b*\n fitness() = number()\n *\b**\b**\b**\b* f\bfi\bit\btn\bne\bes\bss\bs_\b_f\bfu\bun\bnc\bc(\b()\b) *\b**\b**\b**\b*\n fitness_func() =\n fun((_\bt_\ba_\br_\bg_\be_\bt_\b__\bs_\bt_\ba_\bt_\be_\b(_\b), _\bf_\bi_\bt_\bn_\be_\bs_\bs_\b(_\b)) -> _\bt_\ba_\br_\bg_\be_\bt_\b__\bs_\bt_\ba_\bt_\be_\b(_\b))\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_transformer.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_transformer.html", "unified_diff": "@@ -9,15 +9,15 @@\n \n
Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Manolis Papadakis.
\n \nPROPER_NO_TRANS is defined.\n Applying this transform has the following effects:\n prop_ are automatically\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,14 +1,14 @@\n _\bO_\bv_\be_\br_\bv_\bi_\be_\bw _\b[_\be_\br_\bl_\ba_\bn_\bg_\b _\bl_\bo_\bg_\bo_\b]\n ===============================================================================\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_t\btr\bra\ban\bns\bsf\bfo\bor\brm\bme\ber\br *\b**\b**\b**\b**\b**\b*\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n PropEr's main parse transform.\n Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Manolis Papadakis.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n PropEr's main parse transform. It is automatically applied to modules when\n including the main PropEr header, unless PROPER_NO_TRANS is defined. Applying\n this transform has the following effects:\n * All 0-arity functions whose name begins with prop_ are automatically\n exported.\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_types.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_types.html", "unified_diff": "@@ -9,15 +9,15 @@\n \n Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:01
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Manolis Papadakis.
\n \nType manipulation functions and predefined types.
\n \n\n This module defines all the basic types of the PropEr type system as\n functions. See the function index for an overview.
\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -3,15 +3,15 @@\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_t\bty\byp\bpe\bes\bs *\b**\b**\b**\b**\b**\b*\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Type manipulation functions and predefined types.\n Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:01\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Manolis Papadakis.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n Type manipulation functions and predefined types.\n *\b**\b**\b**\b* B\bBa\bas\bsi\bic\bc t\bty\byp\bpe\bes\bs *\b**\b**\b**\b*\n This module defines all the basic types of the PropEr type system as functions.\n See the _\bf_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bi_\bn_\bd_\be_\bx for an overview.\n Types can be combined in tuples or lists to produce other types. Exact values\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_typeserver.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_typeserver.html", "unified_diff": "@@ -9,15 +9,15 @@\n \nCopyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:35
\nBehaviours: gen_server.
\nAuthors: Manolis Papadakis.
\n \nErlang type system - PropEr type system integration module.
\n \nPropEr can parse types expressed in Erlang's type language and convert them\n to its own type format. Such expressions can be used instead of regular type\n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -3,15 +3,15 @@\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_t\bty\byp\bpe\bes\bse\ber\brv\bve\ber\br *\b**\b**\b**\b**\b**\b*\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Erlang type system - PropEr type system integration module.\n Copyright \u00a9 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:35\n B\bBe\beh\bha\bav\bvi\bio\bou\bur\brs\bs:\b: _\bg_\be_\bn_\b__\bs_\be_\br_\bv_\be_\br.\n A\bAu\but\bth\bho\bor\brs\bs:\b: Manolis Papadakis.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n Erlang type system - PropEr type system integration module.\n PropEr can parse types expressed in Erlang's type language and convert them to\n its own type format. Such expressions can be used instead of regular type\n constructors in the second argument of ?FORALLs. No extra notation is required;\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html", "unified_diff": "@@ -9,15 +9,15 @@\n
\nCopyright \u00a9 2014 Motiejus Jakstys
\n \n-Version: Apr 30 2024 08:17:01
\n+Version: Jun 2 2025 14:41:35
\nAuthors: Motiejus Jakstys.
\n \nUnicode generators for PropEr
\n \nThis module exposes utf8 binary generator.
\n \nMakes it easy to create custom-encoded unicode binaries. For example, \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -3,15 +3,15 @@\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_u\bun\bni\bic\bco\bod\bde\be *\b**\b**\b**\b**\b**\b*\n * _\bD_\be_\bs_\bc_\br_\bi_\bp_\bt_\bi_\bo_\bn\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Unicode generators for PropEr.\n Copyright \u00a9 2014 Motiejus Jakstys\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:01\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:35\n A\bAu\but\bth\bho\bor\brs\bs:\b: Motiejus Jakstys.\n *\b**\b**\b**\b**\b* D\bDe\bes\bsc\bcr\bri\bip\bpt\bti\bio\bon\bn *\b**\b**\b**\b**\b*\n Unicode generators for PropEr\n This module exposes utf8 binary generator.\n Makes it easy to create custom-encoded unicode binaries. For example, utf16\n binary generator:\n utf16() ->\n"}]}, {"source1": "./usr/share/doc/erlang-proper-doc/edoc/proper_unused_imports_remover.html", "source2": "./usr/share/doc/erlang-proper-doc/edoc/proper_unused_imports_remover.html", "unified_diff": "@@ -9,15 +9,15 @@\n
\nCopyright \u00a9 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
\n \n-Version: Apr 30 2024 08:17:02
\n+Version: Jun 2 2025 14:41:36
\nAuthors: Zaiming Shi (modifications and update by Kostis Sagonas).
\n \nabs_form() = erl_parse:abstract_form()\n \n", "details": [{"source1": "html2text {}", "source2": "html2text {}", "unified_diff": "@@ -1,15 +1,15 @@\n _\bO_\bv_\be_\br_\bv_\bi_\be_\bw _\b[_\be_\br_\bl_\ba_\bn_\bg_\b _\bl_\bo_\bg_\bo_\b]\n ===============================================================================\n *\b**\b**\b**\b**\b**\b* M\bMo\bod\bdu\bul\ble\be p\bpr\bro\bop\bpe\ber\br_\b_u\bun\bnu\bus\bse\bed\bd_\b_i\bim\bmp\bpo\bor\brt\bts\bs_\b_r\bre\bem\bmo\bov\bve\ber\br *\b**\b**\b**\b**\b**\b*\n * _\bD_\ba_\bt_\ba_\b _\bT_\by_\bp_\be_\bs\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bI_\bn_\bd_\be_\bx\n * _\bF_\bu_\bn_\bc_\bt_\bi_\bo_\bn_\b _\bD_\be_\bt_\ba_\bi_\bl_\bs\n Copyright \u00a9 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas\n-V\bVe\ber\brs\bsi\bio\bon\bn:\b: Apr 30 2024 08:17:02\n+V\bVe\ber\brs\bsi\bio\bon\bn:\b: Jun 2 2025 14:41:36\n A\bAu\but\bth\bho\bor\brs\bs:\b: Zaiming Shi (modifications and update by Kostis Sagonas).\n *\b**\b**\b**\b**\b* D\bDa\bat\bta\ba T\bTy\byp\bpe\bes\bs *\b**\b**\b**\b**\b*\n *\b**\b**\b**\b* a\bab\bbs\bs_\b_f\bfo\bor\brm\bm(\b()\b) *\b**\b**\b**\b*\n abs_form() = _\be_\br_\bl_\b__\bp_\ba_\br_\bs_\be_\b:_\ba_\bb_\bs_\bt_\br_\ba_\bc_\bt_\b__\bf_\bo_\br_\bm_\b(_\b)\n *\b**\b**\b**\b**\b* F\bFu\bun\bnc\bct\bti\bio\bon\bn I\bIn\bnd\bde\bex\bx *\b**\b**\b**\b**\b*\n _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b _\b \n |_\bp_\ba_\br_\bs_\be_\b__\bt_\br_\ba_\bn_\bs_\bf_\bo_\br_\bm_\b/_\b2_\b||\n"}]}]}]}]}]}