| Overview |  |
Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │This is PropEr's Reference Manual. If you are new to PropEr, you should │ │ │ │ first read the User Guide (available online at │ │ │ │ PropEr's website, │ │ │ │ and also in PropEr's README file). The bulk of the PropEr API is contained in │ │ │ │ the documentation for the following modules:
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,12 +1,12 @@ │ │ │ │ │ _O_v_e_r_v_i_e_w _[_e_r_l_a_n_g_ _l_o_g_o_] │ │ │ │ │ ************ PPrrooppEErr:: AA QQuuiicckkCChheecckk--iinnssppiirreedd pprrooppeerrttyy--bbaasseedd tteessttiinngg ttooooll ffoorr EErrllaanngg │ │ │ │ │ ************ │ │ │ │ │ Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36 │ │ │ │ │ AAuutthhoorrss:: Manolis Papadakis. │ │ │ │ │ This is PropEr's Reference Manual. If you are new to PropEr, you should first │ │ │ │ │ read the User Guide (available online at _P_r_o_p_E_r_'_s_ _w_e_b_s_i_t_e, and also in PropEr's │ │ │ │ │ README file). The bulk of the PropEr API is contained in the documentation for │ │ │ │ │ the following modules: │ │ │ │ │ _p_r_o_p_e_r │ │ │ │ │ how to write properties, how to invoke PropEr, different modes of │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │This is the main PropEr module.
│ │ │ │ │ │ │ ││ │ │ │ The simplest properties that PropEr can test consist of a single boolean │ │ │ │ expression (or a statement block that returns a boolean), which is expected │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ************ MMoodduullee pprrooppeerr ************ │ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ This is the main PropEr module. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:35 │ │ │ │ │ AAuutthhoorrss:: Manolis Papadakis. │ │ │ │ │ ********** DDeessccrriippttiioonn ********** │ │ │ │ │ This is the main PropEr module. │ │ │ │ │ ******** HHooww ttoo wwrriittee pprrooppeerrttiieess ******** │ │ │ │ │ The simplest properties that PropEr can test consist of a single boolean │ │ │ │ │ expression (or a statement block that returns a boolean), which is expected to │ │ │ │ │ evaluate to true. Thus, the test true always succeeds, while the test false │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_fsm.html │ │ │ │ @@ -10,15 +10,15 @@ │ │ │ │
proper_fsm behaviour, useful for testing
│ │ │ │ systems that can be modeled as finite state machines.
│ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:01
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Authors: Eirini Arvaniti.
│ │ │ │ │ │ │ │This module defines the proper_fsm behaviour, useful for testing
│ │ │ │ systems that can be modeled as finite state machines. That is, a finite
│ │ │ │ collection of named states and transitions between them. proper_fsm is
│ │ │ │ closely related to proper_statem and is, in fact, implemented in
│ │ │ │ terms of that. Testcases generated using proper_fsm will be on precisely
│ │ │ │ ├── html2text {}
│ │ │ │ │ @@ -4,15 +4,15 @@
│ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n
│ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s
│ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x
│ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s
│ │ │ │ │ This module defines the proper_fsm behaviour, useful for testing systems that
│ │ │ │ │ can be modeled as finite state machines.
│ │ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:01
│ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:35
│ │ │ │ │ AAuutthhoorrss:: Eirini Arvaniti.
│ │ │ │ │ ********** DDeessccrriippttiioonn **********
│ │ │ │ │ This module defines the proper_fsm behaviour, useful for testing systems that
│ │ │ │ │ can be modeled as finite state machines. That is, a finite collection of named
│ │ │ │ │ states and transitions between them. proper_fsm is closely related to
│ │ │ │ │ _p_r_o_p_e_r___s_t_a_t_e_m and is, in fact, implemented in terms of that. Testcases
│ │ │ │ │ generated using proper_fsm will be on precisely the same form as testcases
│ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_gen.html
│ │ │ │ @@ -9,15 +9,15 @@
│ │ │ │
Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Generator subsystem and generators for basic types.
│ │ │ │ │ │ │ │You can use these functions to try out the random │ │ │ │ instance generation and shrinking subsystems.
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ************ MMoodduullee pprrooppeerr__ggeenn ************ │ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Generator subsystem and generators for basic types. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36 │ │ │ │ │ AAuutthhoorrss:: Manolis Papadakis. │ │ │ │ │ ********** DDeessccrriippttiioonn ********** │ │ │ │ │ Generator subsystem and generators for basic types. │ │ │ │ │ You can use _t_h_e_s_e functions to try out the random instance generation and │ │ │ │ │ shrinking subsystems. │ │ │ │ │ CAUTION: These functions should never be used inside properties. They are meant │ │ │ │ │ for demonstration purposes only. │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_sa.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:01
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Behaviours: proper_target.
│ │ │ │Authors: Andreas Löscher.
│ │ │ │ │ │ │ │first_next() = proper_target:tmap()│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ _O_v_e_r_v_i_e_w _[_e_r_l_a_n_g_ _l_o_g_o_] │ │ │ │ │ =============================================================================== │ │ │ │ │ ************ MMoodduullee pprrooppeerr__ssaa ************ │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Copyright © 2017 Andreas Löscher and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:01 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:35 │ │ │ │ │ BBeehhaavviioouurrss:: _p_r_o_p_e_r___t_a_r_g_e_t. │ │ │ │ │ AAuutthhoorrss:: Andreas Löscher. │ │ │ │ │ ********** DDaattaa TTyyppeess ********** │ │ │ │ │ ******** ffiirrsstt__nneexxtt(()) ******** │ │ │ │ │ first_next() = _p_r_o_p_e_r___t_a_r_g_e_t_:_t_m_a_p_(_) │ │ │ │ │ ********** FFuunnccttiioonn IInnddeexx ********** │ │ │ │ │ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_sa_gen.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │
Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:01
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Authors: Andreas Löscher.
│ │ │ │ │ │ │ │| from_proper_generator/1 | |
| set_temperature_scaling/1 | |
| update_caches/1 |
proper_statem behaviour, useful for testing
│ │ │ │ stateful reactive systems whose internal state and side-effects are
│ │ │ │ specified via an abstract state machine.
│ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Eirini Arvaniti.
│ │ │ │ │ │ │ │This module defines the proper_statem behaviour, useful for testing
│ │ │ │ stateful reactive systems whose internal state and side-effects are
│ │ │ │ specified via an abstract state machine. Given a callback module
│ │ │ │ implementing the proper_statem behaviour (i.e. defining an abstract state
│ │ │ │ machine of the system under test), PropEr can generate random symbolic
│ │ │ │ ├── html2text {}
│ │ │ │ │ @@ -5,15 +5,15 @@
│ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s
│ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x
│ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s
│ │ │ │ │ This module defines the proper_statem behaviour, useful for testing stateful
│ │ │ │ │ reactive systems whose internal state and side-effects are specified via an
│ │ │ │ │ abstract state machine.
│ │ │ │ │ Copyright © 2010-2016 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02
│ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36
│ │ │ │ │ AAuutthhoorrss:: Eirini Arvaniti.
│ │ │ │ │ ********** DDeessccrriippttiioonn **********
│ │ │ │ │ This module defines the proper_statem behaviour, useful for testing stateful
│ │ │ │ │ reactive systems whose internal state and side-effects are specified via an
│ │ │ │ │ abstract state machine. Given a callback module implementing the proper_statem
│ │ │ │ │ behaviour (i.e. defining an abstract state machine of the system under test),
│ │ │ │ │ PropEr can generate random symbolic sequences of calls to that system. As a
│ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_symb.html
│ │ │ │ @@ -9,15 +9,15 @@
│ │ │ │
Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Symbolic datatypes handling functions.
│ │ │ │ │ │ │ │Copyright © 2017 Andreas Löscher and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:01
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Andreas Löscher.
│ │ │ │ │ │ │ │fitness() = number()│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ _O_v_e_r_v_i_e_w _[_e_r_l_a_n_g_ _l_o_g_o_] │ │ │ │ │ =============================================================================== │ │ │ │ │ ************ MMoodduullee pprrooppeerr__ttaarrggeett ************ │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Copyright © 2017 Andreas Löscher and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:01 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36 │ │ │ │ │ AAuutthhoorrss:: Andreas Löscher. │ │ │ │ │ ********** DDaattaa TTyyppeess ********** │ │ │ │ │ ******** ffiittnneessss(()) ******** │ │ │ │ │ fitness() = number() │ │ │ │ │ ******** ffiittnneessss__ffuunncc(()) ******** │ │ │ │ │ fitness_func() = │ │ │ │ │ fun((_t_a_r_g_e_t___s_t_a_t_e_(_), _f_i_t_n_e_s_s_(_)) -> _t_a_r_g_e_t___s_t_a_t_e_(_)) │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_transformer.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │
Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │PROPER_NO_TRANS is defined.
│ │ │ │ Applying this transform has the following effects:
│ │ │ │ prop_ are automatically
│ │ │ │ ├── html2text {}
│ │ │ │ │ @@ -1,14 +1,14 @@
│ │ │ │ │ _O_v_e_r_v_i_e_w _[_e_r_l_a_n_g_ _l_o_g_o_]
│ │ │ │ │ ===============================================================================
│ │ │ │ │ ************ MMoodduullee pprrooppeerr__ttrraannssffoorrmmeerr ************
│ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n
│ │ │ │ │ PropEr's main parse transform.
│ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02
│ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36
│ │ │ │ │ AAuutthhoorrss:: Manolis Papadakis.
│ │ │ │ │ ********** DDeessccrriippttiioonn **********
│ │ │ │ │ PropEr's main parse transform. It is automatically applied to modules when
│ │ │ │ │ including the main PropEr header, unless PROPER_NO_TRANS is defined. Applying
│ │ │ │ │ this transform has the following effects:
│ │ │ │ │ * All 0-arity functions whose name begins with prop_ are automatically
│ │ │ │ │ exported.
│ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_types.html
│ │ │ │ @@ -9,15 +9,15 @@
│ │ │ │
│ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:01
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Type manipulation functions and predefined types.
│ │ │ │ │ │ │ ││ │ │ │ This module defines all the basic types of the PropEr type system as │ │ │ │ functions. See the function index for an overview.
│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ************ MMoodduullee pprrooppeerr__ttyyppeess ************ │ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Type manipulation functions and predefined types. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:01 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36 │ │ │ │ │ AAuutthhoorrss:: Manolis Papadakis. │ │ │ │ │ ********** DDeessccrriippttiioonn ********** │ │ │ │ │ Type manipulation functions and predefined types. │ │ │ │ │ ******** BBaassiicc ttyyppeess ******** │ │ │ │ │ This module defines all the basic types of the PropEr type system as functions. │ │ │ │ │ See the _f_u_n_c_t_i_o_n_ _i_n_d_e_x for an overview. │ │ │ │ │ Types can be combined in tuples or lists to produce other types. Exact values │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_typeserver.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │ │ │ │ │Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Behaviours: gen_server.
│ │ │ │Authors: Manolis Papadakis.
│ │ │ │ │ │ │ │Erlang type system - PropEr type system integration module.
│ │ │ │ │ │ │ │PropEr can parse types expressed in Erlang's type language and convert them │ │ │ │ to its own type format. Such expressions can be used instead of regular type │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ************ MMoodduullee pprrooppeerr__ttyyppeesseerrvveerr ************ │ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Erlang type system - PropEr type system integration module. │ │ │ │ │ Copyright © 2010-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:35 │ │ │ │ │ BBeehhaavviioouurrss:: _g_e_n___s_e_r_v_e_r. │ │ │ │ │ AAuutthhoorrss:: Manolis Papadakis. │ │ │ │ │ ********** DDeessccrriippttiioonn ********** │ │ │ │ │ Erlang type system - PropEr type system integration module. │ │ │ │ │ PropEr can parse types expressed in Erlang's type language and convert them to │ │ │ │ │ its own type format. Such expressions can be used instead of regular type │ │ │ │ │ constructors in the second argument of ?FORALLs. No extra notation is required; │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │
│ │ │ │Copyright © 2014 Motiejus Jakstys
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:01
│ │ │ │ +Version: Jun 2 2025 14:41:35
│ │ │ │Authors: Motiejus Jakstys.
│ │ │ │ │ │ │ │Unicode generators for PropEr
│ │ │ │ │ │ │ │This module exposes utf8 binary generator.
│ │ │ │ │ │ │ │Makes it easy to create custom-encoded unicode binaries. For example, │ │ │ │ ├── html2text {} │ │ │ │ │ @@ -3,15 +3,15 @@ │ │ │ │ │ ************ MMoodduullee pprrooppeerr__uunniiccooddee ************ │ │ │ │ │ * _D_e_s_c_r_i_p_t_i_o_n │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Unicode generators for PropEr. │ │ │ │ │ Copyright © 2014 Motiejus Jakstys │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:01 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:35 │ │ │ │ │ AAuutthhoorrss:: Motiejus Jakstys. │ │ │ │ │ ********** DDeessccrriippttiioonn ********** │ │ │ │ │ Unicode generators for PropEr │ │ │ │ │ This module exposes utf8 binary generator. │ │ │ │ │ Makes it easy to create custom-encoded unicode binaries. For example, utf16 │ │ │ │ │ binary generator: │ │ │ │ │ utf16() -> │ │ │ ├── ./usr/share/doc/erlang-proper-doc/edoc/proper_unused_imports_remover.html │ │ │ │ @@ -9,15 +9,15 @@ │ │ │ │
│ │ │ │Copyright © 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
│ │ │ │ │ │ │ │ -Version: Apr 30 2024 08:17:02
│ │ │ │ +Version: Jun 2 2025 14:41:36
│ │ │ │Authors: Zaiming Shi (modifications and update by Kostis Sagonas).
│ │ │ │ │ │ │ │abs_form() = erl_parse:abstract_form()│ │ │ │ ├── html2text {} │ │ │ │ │ @@ -1,15 +1,15 @@ │ │ │ │ │ _O_v_e_r_v_i_e_w _[_e_r_l_a_n_g_ _l_o_g_o_] │ │ │ │ │ =============================================================================== │ │ │ │ │ ************ MMoodduullee pprrooppeerr__uunnuusseedd__iimmppoorrttss__rreemmoovveerr ************ │ │ │ │ │ * _D_a_t_a_ _T_y_p_e_s │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _I_n_d_e_x │ │ │ │ │ * _F_u_n_c_t_i_o_n_ _D_e_t_a_i_l_s │ │ │ │ │ Copyright © 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas │ │ │ │ │ -VVeerrssiioonn:: Apr 30 2024 08:17:02 │ │ │ │ │ +VVeerrssiioonn:: Jun 2 2025 14:41:36 │ │ │ │ │ AAuutthhoorrss:: Zaiming Shi (modifications and update by Kostis Sagonas). │ │ │ │ │ ********** DDaattaa TTyyppeess ********** │ │ │ │ │ ******** aabbss__ffoorrmm(()) ******** │ │ │ │ │ abs_form() = _e_r_l___p_a_r_s_e_:_a_b_s_t_r_a_c_t___f_o_r_m_(_) │ │ │ │ │ ********** FFuunnccttiioonn IInnddeexx ********** │ │ │ │ │ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ │ │ │ │ │ |_p_a_r_s_e___t_r_a_n_s_f_o_r_m_/_2_||