CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Update assets

Browse Source
This commit is contained in:
Denis Merigoux 2022-02-09 16:09:28 +01:00
parent a8733e6a61
commit 36bc25a3ce
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
8 changed files with 3925 additions and 4322 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4384
french_law/js/french_law.js generated
View File

File diff suppressed because one or more lines are too long

15
french_law/ocaml/api.ml
View File

@ -22,14 +22,13 @@ let compute_allocations_familiales ~(current_date : Runtime.date)
let result = let result =
AF.interface_allocations_familiales AF.interface_allocations_familiales
{ {
AF.i_date_courante_in = (fun _ -> current_date); AF.i_date_courante_in = current_date;
AF.i_enfants_in = (fun _ -> children); AF.i_enfants_in = children;
AF.i_ressources_menage_in = (fun _ -> money_of_units_int income); AF.i_ressources_menage_in = money_of_units_int income;
AF.i_residence_in = (fun _ -> residence); AF.i_residence_in = residence;
AF.i_personne_charge_effective_permanente_est_parent_in = (fun _ -> is_parent); AF.i_personne_charge_effective_permanente_est_parent_in = is_parent;
AF.i_personne_charge_effective_permanente_remplit_titre_I_in = (fun _ -> fills_title_I); AF.i_personne_charge_effective_permanente_remplit_titre_I_in = fills_title_I;
AF.i_avait_enfant_a_charge_avant_1er_janvier_2012_in = AF.i_avait_enfant_a_charge_avant_1er_janvier_2012_in = had_rights_open_before_2012;
(fun _ -> had_rights_open_before_2012);
} }
in in
money_to_float result.AF.i_montant_verse_out money_to_float result.AF.i_montant_verse_out

101
french_law/ocaml/api_web.ml
View File

@ -200,64 +200,59 @@ let _ =
AF.interface_allocations_familiales AF.interface_allocations_familiales
{ {
AF.i_personne_charge_effective_permanente_est_parent_in = AF.i_personne_charge_effective_permanente_est_parent_in =
(fun _ -> Js.to_bool input##.personneQuiAssumeLaChargeEffectivePermanenteEstParent;
Js.to_bool input##.personneQuiAssumeLaChargeEffectivePermanenteEstParent);
AF.i_personne_charge_effective_permanente_remplit_titre_I_in = AF.i_personne_charge_effective_permanente_remplit_titre_I_in =
(fun _ -> Js.to_bool
Js.to_bool input##.personneQuiAssumeLaChargeEffectivePermanenteRemplitConditionsTitreISecuriteSociale;
input##.personneQuiAssumeLaChargeEffectivePermanenteRemplitConditionsTitreISecuriteSociale);
AF.i_date_courante_in = AF.i_date_courante_in =
(fun _ -> date_of_numbers
date_of_numbers input##.currentDate##getUTCFullYear
input##.currentDate##getUTCFullYear input##.currentDate##getUTCMonth
input##.currentDate##getUTCMonth input##.currentDate##getUTCDate;
input##.currentDate##getUTCDate);
AF.i_enfants_in = AF.i_enfants_in =
(fun _ -> Array.map
Array.map (fun (child : enfant_entree Js.t) ->
(fun (child : enfant_entree Js.t) -> {
{ AF.d_a_deja_ouvert_droit_aux_allocations_familiales =
AF.d_a_deja_ouvert_droit_aux_allocations_familiales = Js.to_bool child##.aDejaOuvertDroitAuxAllocationsFamiliales;
Js.to_bool child##.aDejaOuvertDroitAuxAllocationsFamiliales; AF.d_identifiant = integer_of_int child##.id;
AF.d_identifiant = integer_of_int child##.id; AF.d_date_de_naissance =
AF.d_date_de_naissance = date_of_numbers
date_of_numbers child##.dateNaissance##getUTCFullYear
child##.dateNaissance##getUTCFullYear child##.dateNaissance##getUTCMonth
child##.dateNaissance##getUTCMonth child##.dateNaissance##getUTCDate;
child##.dateNaissance##getUTCDate; AF.d_prise_en_charge =
AF.d_prise_en_charge = (match Js.to_string child##.priseEnCharge with
(match Js.to_string child##.priseEnCharge with | "Effective et permanente" -> EffectiveEtPermanente ()
| "Effective et permanente" -> EffectiveEtPermanente () | "Garde alternée, allocataire unique" ->
| "Garde alternée, allocataire unique" -> GardeAlterneeAllocataireUnique ()
GardeAlterneeAllocataireUnique () | "Garde alternée, partage des allocations" ->
| "Garde alternée, partage des allocations" -> GardeAlterneePartageAllocations ()
GardeAlterneePartageAllocations () | "Confié aux service sociaux, allocation versée à la famille" ->
| "Confié aux service sociaux, allocation versée à la famille" -> ServicesSociauxAllocationVerseeALaFamille ()
ServicesSociauxAllocationVerseeALaFamille () | "Confié aux service sociaux, allocation versée aux services sociaux"
| "Confié aux service sociaux, allocation versée aux services \ ->
sociaux" -> ServicesSociauxAllocationVerseeAuxServicesSociaux ()
ServicesSociauxAllocationVerseeAuxServicesSociaux () | _ -> failwith "Unknown prise en charge");
| _ -> failwith "Unknown prise en charge"); AF.d_remuneration_mensuelle =
AF.d_remuneration_mensuelle = money_of_units_int child##.remunerationMensuelle;
money_of_units_int child##.remunerationMensuelle; })
}) (Js.to_array input##.children);
(Js.to_array input##.children)); AF.i_ressources_menage_in = money_of_units_int input##.income;
AF.i_ressources_menage_in = (fun _ -> money_of_units_int input##.income);
AF.i_residence_in = AF.i_residence_in =
(fun _ -> (match Js.to_string input##.residence with
match Js.to_string input##.residence with | "Métropole" -> AF.Metropole ()
| "Métropole" -> AF.Metropole () | "Guyane" -> AF.Guyane ()
| "Guyane" -> AF.Guyane () | "Guadeloupe" -> AF.Guadeloupe ()
| "Guadeloupe" -> AF.Guadeloupe () | "Martinique" -> AF.Martinique ()
| "Martinique" -> AF.Martinique () | "La Réunion" -> AF.LaReunion ()
| "La Réunion" -> AF.LaReunion () | "Saint Barthélemy" -> AF.SaintBarthelemy ()
| "Saint Barthélemy" -> AF.SaintBarthelemy () | "Saint Pierre et Miquelon" -> AF.SaintPierreEtMiquelon ()
| "Saint Pierre et Miquelon" -> AF.SaintPierreEtMiquelon () | "Saint Martin" -> AF.SaintMartin ()
| "Saint Martin" -> AF.SaintMartin () | "Mayotte" -> AF.Mayotte ()
| "Mayotte" -> AF.Mayotte () | _ -> failwith "unknown collectivite!");
| _ -> failwith "unknown collectivite!");
AF.i_avait_enfant_a_charge_avant_1er_janvier_2012_in = AF.i_avait_enfant_a_charge_avant_1er_janvier_2012_in =
(fun _ -> Js.to_bool input##.avaitEnfantAChargeAvant1erJanvier2012); Js.to_bool input##.avaitEnfantAChargeAvant1erJanvier2012;
} }
in in
money_to_float result.AF.i_montant_verse_out) money_to_float result.AF.i_montant_verse_out)

839
french_law/ocaml/law_source/allocations_familiales.ml generated
View File

@ -151,14 +151,14 @@ type smic_out = { brut_horaire_out : money }
let embed_smic_out (x : smic_out) : runtime_value = let embed_smic_out (x : smic_out) : runtime_value =
Struct ([ "Smic_out" ], [ ("brut_horaire_out", embed_money x.brut_horaire_out) ]) Struct ([ "Smic_out" ], [ ("brut_horaire_out", embed_money x.brut_horaire_out) ])
type smic_in = { date_courante_in : unit -> date; residence_in : unit -> collectivite } type smic_in = { date_courante_in : date; residence_in : collectivite }
let embed_smic_in (x : smic_in) : runtime_value = let embed_smic_in (x : smic_in) : runtime_value =
Struct Struct
( [ "Smic_in" ], ( [ "Smic_in" ],
[ [
("date_courante_in", unembeddable x.date_courante_in); ("date_courante_in", embed_date x.date_courante_in);
("résidence_in", unembeddable x.residence_in); ("résidence_in", embed_collectivite x.residence_in);
] ) ] )
type prestations_familiales_out = { type prestations_familiales_out = {
@ -181,18 +181,18 @@ let embed_prestations_familiales_out (x : prestations_familiales_out) : runtime_
] ) ] )
type prestations_familiales_in = { type prestations_familiales_in = {
date_courante_in : unit -> date; date_courante_in : date;
prestation_courante_in : unit -> element_prestations_familiales; prestation_courante_in : element_prestations_familiales;
residence_in : unit -> collectivite; residence_in : collectivite;
} }
let embed_prestations_familiales_in (x : prestations_familiales_in) : runtime_value = let embed_prestations_familiales_in (x : prestations_familiales_in) : runtime_value =
Struct Struct
( [ "PrestationsFamiliales_in" ], ( [ "PrestationsFamiliales_in" ],
[ [
("date_courante_in", unembeddable x.date_courante_in); ("date_courante_in", embed_date x.date_courante_in);
("prestation_courante_in", unembeddable x.prestation_courante_in); ("prestation_courante_in", embed_element_prestations_familiales x.prestation_courante_in);
("résidence_in", unembeddable x.residence_in); ("résidence_in", embed_collectivite x.residence_in);
] ) ] )
type allocation_familiales_avril2008_out = { age_minimum_alinea_1_l521_3_out : integer } type allocation_familiales_avril2008_out = { age_minimum_alinea_1_l521_3_out : integer }
@ -214,10 +214,10 @@ type enfant_le_plus_age_out = { le_plus_age_out : enfant }
let embed_enfant_le_plus_age_out (x : enfant_le_plus_age_out) : runtime_value = let embed_enfant_le_plus_age_out (x : enfant_le_plus_age_out) : runtime_value =
Struct ([ "EnfantLePlusÂgé_out" ], [ ("le_plus_âgé_out", embed_enfant x.le_plus_age_out) ]) Struct ([ "EnfantLePlusÂgé_out" ], [ ("le_plus_âgé_out", embed_enfant x.le_plus_age_out) ])
type enfant_le_plus_age_in = { enfants_in : unit -> enfant array } type enfant_le_plus_age_in = { enfants_in : enfant array }
let embed_enfant_le_plus_age_in (x : enfant_le_plus_age_in) : runtime_value = let embed_enfant_le_plus_age_in (x : enfant_le_plus_age_in) : runtime_value =
Struct ([ "EnfantLePlusÂgé_in" ], [ ("enfants_in", unembeddable x.enfants_in) ]) Struct ([ "EnfantLePlusÂgé_in" ], [ ("enfants_in", embed_array embed_enfant x.enfants_in) ])
type allocations_familiales_out = { montant_verse_out : money } type allocations_familiales_out = { montant_verse_out : money }
@ -226,13 +226,13 @@ let embed_allocations_familiales_out (x : allocations_familiales_out) : runtime_
([ "AllocationsFamiliales_out" ], [ ("montant_versé_out", embed_money x.montant_verse_out) ]) ([ "AllocationsFamiliales_out" ], [ ("montant_versé_out", embed_money x.montant_verse_out) ])
type allocations_familiales_in = { type allocations_familiales_in = {
personne_charge_effective_permanente_est_parent_in : unit -> bool; personne_charge_effective_permanente_est_parent_in : bool;
personne_charge_effective_permanente_remplit_titre_I_in : unit -> bool; personne_charge_effective_permanente_remplit_titre_I_in : bool;
ressources_menage_in : unit -> money; ressources_menage_in : money;
residence_in : unit -> collectivite; residence_in : collectivite;
date_courante_in : unit -> date; date_courante_in : date;
enfants_a_charge_in : unit -> enfant array; enfants_a_charge_in : enfant array;
avait_enfant_a_charge_avant_1er_janvier_2012_in : unit -> bool; avait_enfant_a_charge_avant_1er_janvier_2012_in : bool;
} }
let embed_allocations_familiales_in (x : allocations_familiales_in) : runtime_value = let embed_allocations_familiales_in (x : allocations_familiales_in) : runtime_value =
@ -240,15 +240,15 @@ let embed_allocations_familiales_in (x : allocations_familiales_in) : runtime_va
( [ "AllocationsFamiliales_in" ], ( [ "AllocationsFamiliales_in" ],
[ [
( "personne_charge_effective_permanente_est_parent_in", ( "personne_charge_effective_permanente_est_parent_in",
unembeddable x.personne_charge_effective_permanente_est_parent_in ); embed_bool x.personne_charge_effective_permanente_est_parent_in );
( "personne_charge_effective_permanente_remplit_titre_I_in", ( "personne_charge_effective_permanente_remplit_titre_I_in",
unembeddable x.personne_charge_effective_permanente_remplit_titre_I_in ); embed_bool x.personne_charge_effective_permanente_remplit_titre_I_in );
("ressources_ménage_in", unembeddable x.ressources_menage_in); ("ressources_ménage_in", embed_money x.ressources_menage_in);
("résidence_in", unembeddable x.residence_in); ("résidence_in", embed_collectivite x.residence_in);
("date_courante_in", unembeddable x.date_courante_in); ("date_courante_in", embed_date x.date_courante_in);
("enfants_à_charge_in", unembeddable x.enfants_a_charge_in); ("enfants_à_charge_in", embed_array embed_enfant x.enfants_a_charge_in);
( "avait_enfant_à_charge_avant_1er_janvier_2012_in", ( "avait_enfant_à_charge_avant_1er_janvier_2012_in",
unembeddable x.avait_enfant_a_charge_avant_1er_janvier_2012_in ); embed_bool x.avait_enfant_a_charge_avant_1er_janvier_2012_in );
] ) ] )
type interface_allocations_familiales_out = { i_montant_verse_out : money } type interface_allocations_familiales_out = { i_montant_verse_out : money }
@ -260,13 +260,13 @@ let embed_interface_allocations_familiales_out (x : interface_allocations_famili
[ ("i_montant_versé_out", embed_money x.i_montant_verse_out) ] ) [ ("i_montant_versé_out", embed_money x.i_montant_verse_out) ] )
type interface_allocations_familiales_in = { type interface_allocations_familiales_in = {
i_date_courante_in : unit -> date; i_date_courante_in : date;
i_enfants_in : unit -> enfant_entree array; i_enfants_in : enfant_entree array;
i_ressources_menage_in : unit -> money; i_ressources_menage_in : money;
i_residence_in : unit -> collectivite; i_residence_in : collectivite;
i_personne_charge_effective_permanente_est_parent_in : unit -> bool; i_personne_charge_effective_permanente_est_parent_in : bool;
i_personne_charge_effective_permanente_remplit_titre_I_in : unit -> bool; i_personne_charge_effective_permanente_remplit_titre_I_in : bool;
i_avait_enfant_a_charge_avant_1er_janvier_2012_in : unit -> bool; i_avait_enfant_a_charge_avant_1er_janvier_2012_in : bool;
} }
let embed_interface_allocations_familiales_in (x : interface_allocations_familiales_in) : let embed_interface_allocations_familiales_in (x : interface_allocations_familiales_in) :
@ -274,51 +274,21 @@ let embed_interface_allocations_familiales_in (x : interface_allocations_familia
Struct Struct
( [ "InterfaceAllocationsFamiliales_in" ], ( [ "InterfaceAllocationsFamiliales_in" ],
[ [
("i_date_courante_in", unembeddable x.i_date_courante_in); ("i_date_courante_in", embed_date x.i_date_courante_in);
("i_enfants_in", unembeddable x.i_enfants_in); ("i_enfants_in", embed_array embed_enfant_entree x.i_enfants_in);
("i_ressources_ménage_in", unembeddable x.i_ressources_menage_in); ("i_ressources_ménage_in", embed_money x.i_ressources_menage_in);
("i_résidence_in", unembeddable x.i_residence_in); ("i_résidence_in", embed_collectivite x.i_residence_in);
( "i_personne_charge_effective_permanente_est_parent_in", ( "i_personne_charge_effective_permanente_est_parent_in",
unembeddable x.i_personne_charge_effective_permanente_est_parent_in ); embed_bool x.i_personne_charge_effective_permanente_est_parent_in );
( "i_personne_charge_effective_permanente_remplit_titre_I_in", ( "i_personne_charge_effective_permanente_remplit_titre_I_in",
unembeddable x.i_personne_charge_effective_permanente_remplit_titre_I_in ); embed_bool x.i_personne_charge_effective_permanente_remplit_titre_I_in );
( "i_avait_enfant_à_charge_avant_1er_janvier_2012_in", ( "i_avait_enfant_à_charge_avant_1er_janvier_2012_in",
unembeddable x.i_avait_enfant_a_charge_avant_1er_janvier_2012_in ); embed_bool x.i_avait_enfant_a_charge_avant_1er_janvier_2012_in );
] ) ] )
let smic (smic_in : smic_in) = let smic (smic_in : smic_in) =
let date_courante_ : unit -> date = smic_in.date_courante_in in let date_courante_ : date = smic_in.date_courante_in in
let residence_ : unit -> collectivite = smic_in.residence_in in let residence_ : collectivite = smic_in.residence_in in
let date_courante_ : date =
log_variable_definition [ "Smic"; "date_courante" ] embed_date
(try date_courante_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 41;
start_column = 10;
end_line = 41;
end_column = 23;
law_headings = [ "Prologue" ];
}))
in
let residence_ : collectivite =
log_variable_definition [ "Smic"; "résidence" ] embed_collectivite
(try residence_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 42;
start_column = 10;
end_line = 42;
end_column = 19;
law_headings = [ "Prologue" ];
}))
in
let brut_horaire_ : money = let brut_horaire_ : money =
log_variable_definition [ "Smic"; "brut_horaire" ] embed_money log_variable_definition [ "Smic"; "brut_horaire" ] embed_money
(try (try
@ -523,24 +493,7 @@ let allocation_familiales_avril2008
{ age_minimum_alinea_1_l521_3_out = age_minimum_alinea_1_l521_3_ } { age_minimum_alinea_1_l521_3_out = age_minimum_alinea_1_l521_3_ }
let enfant_le_plus_age (enfant_le_plus_age_in : enfant_le_plus_age_in) = let enfant_le_plus_age (enfant_le_plus_age_in : enfant_le_plus_age_in) =
let enfants_ : unit -> enfant array = enfant_le_plus_age_in.enfants_in in let enfants_ : enfant array = enfant_le_plus_age_in.enfants_in in
let enfants_ : enfant array =
log_variable_definition
[ "EnfantLePlusÂgé"; "enfants" ]
(embed_array embed_enfant)
(try enfants_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 84;
start_column = 10;
end_line = 84;
end_column = 17;
law_headings = [ "Prologue" ];
}))
in
let le_plus_age_ : enfant = let le_plus_age_ : enfant =
log_variable_definition log_variable_definition
[ "EnfantLePlusÂgé"; "le_plus_âgé" ] [ "EnfantLePlusÂgé"; "le_plus_âgé" ]
@ -573,11 +526,11 @@ let enfant_le_plus_age (enfant_le_plus_age_in : enfant_le_plus_age_in) =
{ le_plus_age_out = le_plus_age_ } { le_plus_age_out = le_plus_age_ }
let prestations_familiales (prestations_familiales_in : prestations_familiales_in) = let prestations_familiales (prestations_familiales_in : prestations_familiales_in) =
let date_courante_ : unit -> date = prestations_familiales_in.date_courante_in in let date_courante_ : date = prestations_familiales_in.date_courante_in in
let prestation_courante_ : unit -> element_prestations_familiales = let prestation_courante_ : element_prestations_familiales =
prestations_familiales_in.prestation_courante_in prestations_familiales_in.prestation_courante_in
in in
let residence_ : unit -> collectivite = prestations_familiales_in.residence_in in let residence_ : collectivite = prestations_familiales_in.residence_in in
let age_l512_3_2_ : integer = let age_l512_3_2_ : integer =
log_variable_definition log_variable_definition
[ "PrestationsFamiliales"; "âge_l512_3_2" ] [ "PrestationsFamiliales"; "âge_l512_3_2" ]
@ -595,57 +548,6 @@ let prestations_familiales (prestations_familiales_in : prestations_familiales_i
law_headings = [ "Prologue" ]; law_headings = [ "Prologue" ];
})) }))
in in
let date_courante_ : date =
log_variable_definition
[ "PrestationsFamiliales"; "date_courante" ]
embed_date
(try date_courante_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 70;
start_column = 10;
end_line = 70;
end_column = 23;
law_headings = [ "Prologue" ];
}))
in
let prestation_courante_ : element_prestations_familiales =
log_variable_definition
[ "PrestationsFamiliales"; "prestation_courante" ]
embed_element_prestations_familiales
(try prestation_courante_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 71;
start_column = 10;
end_line = 71;
end_column = 29;
law_headings = [ "Prologue" ];
}))
in
let residence_ : collectivite =
log_variable_definition
[ "PrestationsFamiliales"; "résidence" ]
embed_collectivite
(try residence_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 72;
start_column = 10;
end_line = 72;
end_column = 19;
law_headings = [ "Prologue" ];
}))
in
let base_mensuelle_ : money = let base_mensuelle_ : money =
log_variable_definition log_variable_definition
[ "PrestationsFamiliales"; "base_mensuelle" ] [ "PrestationsFamiliales"; "base_mensuelle" ]
@ -747,17 +649,39 @@ let prestations_familiales (prestations_familiales_in : prestations_familiales_i
law_headings = [ "Prologue" ]; law_headings = [ "Prologue" ];
})) }))
in in
let smic_dot_date_courante_ : unit -> date = let smic_dot_date_courante_ : date =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "PrestationsFamiliales"; "smic.date_courante" ] [ "PrestationsFamiliales"; "smic.date_courante" ]
embed_date date_courante_ embed_date date_courante_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 41;
start_column = 10;
end_line = 41;
end_column = 23;
law_headings = [ "Prologue" ];
})
in in
let smic_dot_residence_ : unit -> collectivite = let smic_dot_residence_ : collectivite =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "PrestationsFamiliales"; "smic.résidence" ] [ "PrestationsFamiliales"; "smic.résidence" ]
embed_collectivite residence_ embed_collectivite residence_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 42;
start_column = 10;
end_line = 42;
end_column = 19;
law_headings = [ "Prologue" ];
})
in in
let result_ : smic_out = let result_ : smic_out =
log_end_call log_end_call
@ -1029,121 +953,19 @@ let prestations_familiales (prestations_familiales_in : prestations_familiales_i
} }
let allocations_familiales (allocations_familiales_in : allocations_familiales_in) = let allocations_familiales (allocations_familiales_in : allocations_familiales_in) =
let personne_charge_effective_permanente_est_parent_ : unit -> bool = let personne_charge_effective_permanente_est_parent_ : bool =
allocations_familiales_in.personne_charge_effective_permanente_est_parent_in allocations_familiales_in.personne_charge_effective_permanente_est_parent_in
in in
let personne_charge_effective_permanente_remplit_titre__i_ : unit -> bool = let personne_charge_effective_permanente_remplit_titre__i_ : bool =
allocations_familiales_in.personne_charge_effective_permanente_remplit_titre_I_in allocations_familiales_in.personne_charge_effective_permanente_remplit_titre_I_in
in in
let ressources_menage_ : unit -> money = allocations_familiales_in.ressources_menage_in in let ressources_menage_ : money = allocations_familiales_in.ressources_menage_in in
let residence_ : unit -> collectivite = allocations_familiales_in.residence_in in let residence_ : collectivite = allocations_familiales_in.residence_in in
let date_courante_ : unit -> date = allocations_familiales_in.date_courante_in in let date_courante_ : date = allocations_familiales_in.date_courante_in in
let enfants_a_charge_ : unit -> enfant array = allocations_familiales_in.enfants_a_charge_in in let enfants_a_charge_ : enfant array = allocations_familiales_in.enfants_a_charge_in in
let avait_enfant_a_charge_avant_1er_janvier_2012_ : unit -> bool = let avait_enfant_a_charge_avant_1er_janvier_2012_ : bool =
allocations_familiales_in.avait_enfant_a_charge_avant_1er_janvier_2012_in allocations_familiales_in.avait_enfant_a_charge_avant_1er_janvier_2012_in
in in
let personne_charge_effective_permanente_est_parent_ : bool =
log_variable_definition
[ "AllocationsFamiliales"; "personne_charge_effective_permanente_est_parent" ]
embed_bool
(try try personne_charge_effective_permanente_est_parent_ () with EmptyError -> false
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 90;
start_column = 10;
end_line = 90;
end_column = 57;
law_headings = [ "Prologue" ];
}))
in
let personne_charge_effective_permanente_remplit_titre__i_ : bool =
log_variable_definition
[ "AllocationsFamiliales"; "personne_charge_effective_permanente_remplit_titre_I" ]
embed_bool
(try try personne_charge_effective_permanente_remplit_titre__i_ () with EmptyError -> false
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 91;
start_column = 10;
end_line = 91;
end_column = 62;
law_headings = [ "Prologue" ];
}))
in
let ressources_menage_ : money =
log_variable_definition
[ "AllocationsFamiliales"; "ressources_ménage" ]
embed_money
(try ressources_menage_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 92;
start_column = 10;
end_line = 92;
end_column = 27;
law_headings = [ "Prologue" ];
}))
in
let residence_ : collectivite =
log_variable_definition
[ "AllocationsFamiliales"; "résidence" ]
embed_collectivite
(try residence_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 93;
start_column = 10;
end_line = 93;
end_column = 19;
law_headings = [ "Prologue" ];
}))
in
let date_courante_ : date =
log_variable_definition
[ "AllocationsFamiliales"; "date_courante" ]
embed_date
(try date_courante_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 96;
start_column = 10;
end_line = 96;
end_column = 23;
law_headings = [ "Prologue" ];
}))
in
let enfants_a_charge_ : enfant array =
log_variable_definition
[ "AllocationsFamiliales"; "enfants_à_charge" ]
(embed_array embed_enfant)
(try enfants_a_charge_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 99;
start_column = 10;
end_line = 99;
end_column = 26;
law_headings = [ "Prologue" ];
}))
in
let prise_en_compte_ : enfant -> prise_en_compte = let prise_en_compte_ : enfant -> prise_en_compte =
log_variable_definition log_variable_definition
[ "AllocationsFamiliales"; "prise_en_compte" ] [ "AllocationsFamiliales"; "prise_en_compte" ]
@ -1504,23 +1326,6 @@ let allocations_familiales (allocations_familiales_in : allocations_familiales_i
law_headings = [ "Prologue" ]; law_headings = [ "Prologue" ];
})) }))
in in
let avait_enfant_a_charge_avant_1er_janvier_2012_ : bool =
log_variable_definition
[ "AllocationsFamiliales"; "avait_enfant_à_charge_avant_1er_janvier_2012" ]
embed_bool
(try try avait_enfant_a_charge_avant_1er_janvier_2012_ () with EmptyError -> false
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 120;
start_column = 10;
end_line = 120;
end_column = 54;
law_headings = [ "Prologue" ];
}))
in
let nombre_enfants_l521_1_ : integer = let nombre_enfants_l521_1_ : integer =
log_variable_definition log_variable_definition
[ "AllocationsFamiliales"; "nombre_enfants_l521_1" ] [ "AllocationsFamiliales"; "nombre_enfants_l521_1" ]
@ -1565,23 +1370,56 @@ let allocations_familiales (allocations_familiales_in : allocations_familiales_i
let version_avril_2008_dot_age_minimum_alinea_1_l521_3_ : integer = let version_avril_2008_dot_age_minimum_alinea_1_l521_3_ : integer =
result_.age_minimum_alinea_1_l521_3_out result_.age_minimum_alinea_1_l521_3_out
in in
let prestations_familiales_dot_date_courante_ : unit -> date = let prestations_familiales_dot_date_courante_ : date =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "AllocationsFamiliales"; "prestations_familiales.date_courante" ] [ "AllocationsFamiliales"; "prestations_familiales.date_courante" ]
embed_date date_courante_ embed_date date_courante_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 70;
start_column = 10;
end_line = 70;
end_column = 23;
law_headings = [ "Prologue" ];
})
in in
let prestations_familiales_dot_prestation_courante_ : unit -> element_prestations_familiales = let prestations_familiales_dot_prestation_courante_ : element_prestations_familiales =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "AllocationsFamiliales"; "prestations_familiales.prestation_courante" ] [ "AllocationsFamiliales"; "prestations_familiales.prestation_courante" ]
embed_element_prestations_familiales (AllocationsFamiliales ()) embed_element_prestations_familiales (AllocationsFamiliales ())
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 71;
start_column = 10;
end_line = 71;
end_column = 29;
law_headings = [ "Prologue" ];
})
in in
let prestations_familiales_dot_residence_ : unit -> collectivite = let prestations_familiales_dot_residence_ : collectivite =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "AllocationsFamiliales"; "prestations_familiales.résidence" ] [ "AllocationsFamiliales"; "prestations_familiales.résidence" ]
embed_collectivite residence_ embed_collectivite residence_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 72;
start_column = 10;
end_line = 72;
end_column = 19;
law_headings = [ "Prologue" ];
})
in in
let result_ : prestations_familiales_out = let result_ : prestations_familiales_out =
log_end_call log_end_call
@ -1604,11 +1442,22 @@ let allocations_familiales (allocations_familiales_in : allocations_familiales_i
result_.regime_outre_mer_l751_1_out result_.regime_outre_mer_l751_1_out
in in
let prestations_familiales_dot_base_mensuelle_ : money = result_.base_mensuelle_out in let prestations_familiales_dot_base_mensuelle_ : money = result_.base_mensuelle_out in
let enfant_le_plus_age_dot_enfants_ : unit -> enfant array = let enfant_le_plus_age_dot_enfants_ : enfant array =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "AllocationsFamiliales"; "enfant_le_plus_âgé.enfants" ] [ "AllocationsFamiliales"; "enfant_le_plus_âgé.enfants" ]
(embed_array embed_enfant) enfants_a_charge_ (embed_array embed_enfant) enfants_a_charge_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 84;
start_column = 10;
end_line = 84;
end_column = 17;
law_headings = [ "Prologue" ];
})
in in
let result_ : enfant_le_plus_age_out = let result_ : enfant_le_plus_age_out =
log_end_call log_end_call
@ -4658,140 +4507,18 @@ let allocations_familiales (allocations_familiales_in : allocations_familiales_i
let interface_allocations_familiales let interface_allocations_familiales
(interface_allocations_familiales_in : interface_allocations_familiales_in) = (interface_allocations_familiales_in : interface_allocations_familiales_in) =
let i_date_courante_ : unit -> date = interface_allocations_familiales_in.i_date_courante_in in let i_date_courante_ : date = interface_allocations_familiales_in.i_date_courante_in in
let i_enfants_ : unit -> enfant_entree array = interface_allocations_familiales_in.i_enfants_in in let i_enfants_ : enfant_entree array = interface_allocations_familiales_in.i_enfants_in in
let i_ressources_menage_ : unit -> money = let i_ressources_menage_ : money = interface_allocations_familiales_in.i_ressources_menage_in in
interface_allocations_familiales_in.i_ressources_menage_in let i_residence_ : collectivite = interface_allocations_familiales_in.i_residence_in in
in let i_personne_charge_effective_permanente_est_parent_ : bool =
let i_residence_ : unit -> collectivite = interface_allocations_familiales_in.i_residence_in in
let i_personne_charge_effective_permanente_est_parent_ : unit -> bool =
interface_allocations_familiales_in.i_personne_charge_effective_permanente_est_parent_in interface_allocations_familiales_in.i_personne_charge_effective_permanente_est_parent_in
in in
let i_personne_charge_effective_permanente_remplit_titre__i_ : unit -> bool = let i_personne_charge_effective_permanente_remplit_titre__i_ : bool =
interface_allocations_familiales_in.i_personne_charge_effective_permanente_remplit_titre_I_in interface_allocations_familiales_in.i_personne_charge_effective_permanente_remplit_titre_I_in
in in
let i_avait_enfant_a_charge_avant_1er_janvier_2012_ : unit -> bool =
interface_allocations_familiales_in.i_avait_enfant_a_charge_avant_1er_janvier_2012_in
in
let i_date_courante_ : date =
log_variable_definition
[ "InterfaceAllocationsFamiliales"; "i_date_courante" ]
embed_date
(try i_date_courante_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 72;
start_column = 10;
end_line = 72;
end_column = 25;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in
let i_enfants_ : enfant_entree array =
log_variable_definition
[ "InterfaceAllocationsFamiliales"; "i_enfants" ]
(embed_array embed_enfant_entree)
(try i_enfants_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 73;
start_column = 10;
end_line = 73;
end_column = 19;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in
let i_ressources_menage_ : money =
log_variable_definition
[ "InterfaceAllocationsFamiliales"; "i_ressources_ménage" ]
embed_money
(try i_ressources_menage_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 76;
start_column = 10;
end_line = 76;
end_column = 29;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in
let i_residence_ : collectivite =
log_variable_definition
[ "InterfaceAllocationsFamiliales"; "i_résidence" ]
embed_collectivite
(try i_residence_ ()
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 77;
start_column = 10;
end_line = 77;
end_column = 21;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in
let i_personne_charge_effective_permanente_est_parent_ : bool =
log_variable_definition
[ "InterfaceAllocationsFamiliales"; "i_personne_charge_effective_permanente_est_parent" ]
embed_bool
(try try i_personne_charge_effective_permanente_est_parent_ () with EmptyError -> false
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 79;
start_column = 10;
end_line = 79;
end_column = 59;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in
let i_personne_charge_effective_permanente_remplit_titre__i_ : bool =
log_variable_definition
[ "InterfaceAllocationsFamiliales"; "i_personne_charge_effective_permanente_remplit_titre_I" ]
embed_bool
(try
try i_personne_charge_effective_permanente_remplit_titre__i_ () with EmptyError -> false
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 80;
start_column = 10;
end_line = 80;
end_column = 64;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in
let i_avait_enfant_a_charge_avant_1er_janvier_2012_ : bool = let i_avait_enfant_a_charge_avant_1er_janvier_2012_ : bool =
log_variable_definition interface_allocations_familiales_in.i_avait_enfant_a_charge_avant_1er_janvier_2012_in
[ "InterfaceAllocationsFamiliales"; "i_avait_enfant_à_charge_avant_1er_janvier_2012" ]
embed_bool
(try try i_avait_enfant_a_charge_avant_1er_janvier_2012_ () with EmptyError -> false
with EmptyError ->
raise
(NoValueProvided
{
filename = "./epilogue.catala_fr";
start_line = 81;
start_column = 10;
end_line = 81;
end_column = 56;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
}))
in in
let enfants_a_charge_ : enfant array = let enfants_a_charge_ : enfant array =
log_variable_definition log_variable_definition
@ -4831,102 +4558,178 @@ let interface_allocations_familiales
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ]; law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
})) }))
in in
let allocations_familiales_dot_personne_charge_effective_permanente_est_parent_ : unit -> bool = let allocations_familiales_dot_personne_charge_effective_permanente_est_parent_ : bool =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ [
"InterfaceAllocationsFamiliales"; "InterfaceAllocationsFamiliales";
"allocations_familiales.personne_charge_effective_permanente_est_parent"; "allocations_familiales.personne_charge_effective_permanente_est_parent";
] ]
embed_bool embed_bool
(try (try
if if
log_decision_taken log_decision_taken
{ {
filename = "./epilogue.catala_fr"; filename = "./epilogue.catala_fr";
start_line = 90; start_line = 90;
start_column = 20; start_column = 20;
end_line = 90; end_line = 90;
end_column = 69; end_column = 69;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ]; law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
} }
i_personne_charge_effective_permanente_est_parent_ i_personne_charge_effective_permanente_est_parent_
then true then true
else raise EmptyError else raise EmptyError
with EmptyError -> false) with EmptyError -> false)
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 90;
start_column = 10;
end_line = 90;
end_column = 57;
law_headings = [ "Prologue" ];
})
in in
let allocations_familiales_dot_personne_charge_effective_permanente_remplit_titre__i_ : let allocations_familiales_dot_personne_charge_effective_permanente_remplit_titre__i_ : bool =
unit -> bool = try
fun (_ : unit) -> log_variable_definition
log_variable_definition [
[ "InterfaceAllocationsFamiliales";
"InterfaceAllocationsFamiliales"; "allocations_familiales.personne_charge_effective_permanente_remplit_titre_I";
"allocations_familiales.personne_charge_effective_permanente_remplit_titre_I"; ]
] embed_bool
embed_bool (try
(try if
if log_decision_taken
log_decision_taken {
{ filename = "./epilogue.catala_fr";
filename = "./epilogue.catala_fr"; start_line = 93;
start_line = 93; start_column = 20;
start_column = 20; end_line = 93;
end_line = 93; end_column = 74;
end_column = 74; law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ]; }
} i_personne_charge_effective_permanente_remplit_titre__i_
i_personne_charge_effective_permanente_remplit_titre__i_ then true
then true else raise EmptyError
else raise EmptyError with EmptyError -> false)
with EmptyError -> false) with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 91;
start_column = 10;
end_line = 91;
end_column = 62;
law_headings = [ "Prologue" ];
})
in in
let allocations_familiales_dot_ressources_menage_ : unit -> money = let allocations_familiales_dot_ressources_menage_ : money =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "InterfaceAllocationsFamiliales"; "allocations_familiales.ressources_ménage" ] [ "InterfaceAllocationsFamiliales"; "allocations_familiales.ressources_ménage" ]
embed_money i_ressources_menage_ embed_money i_ressources_menage_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 92;
start_column = 10;
end_line = 92;
end_column = 27;
law_headings = [ "Prologue" ];
})
in in
let allocations_familiales_dot_residence_ : unit -> collectivite = let allocations_familiales_dot_residence_ : collectivite =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "InterfaceAllocationsFamiliales"; "allocations_familiales.résidence" ] [ "InterfaceAllocationsFamiliales"; "allocations_familiales.résidence" ]
embed_collectivite i_residence_ embed_collectivite i_residence_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 93;
start_column = 10;
end_line = 93;
end_column = 19;
law_headings = [ "Prologue" ];
})
in in
let allocations_familiales_dot_date_courante_ : unit -> date = let allocations_familiales_dot_date_courante_ : date =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "InterfaceAllocationsFamiliales"; "allocations_familiales.date_courante" ] [ "InterfaceAllocationsFamiliales"; "allocations_familiales.date_courante" ]
embed_date i_date_courante_ embed_date i_date_courante_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 96;
start_column = 10;
end_line = 96;
end_column = 23;
law_headings = [ "Prologue" ];
})
in in
let allocations_familiales_dot_enfants_a_charge_ : unit -> enfant array = let allocations_familiales_dot_enfants_a_charge_ : enfant array =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ "InterfaceAllocationsFamiliales"; "allocations_familiales.enfants_à_charge" ] [ "InterfaceAllocationsFamiliales"; "allocations_familiales.enfants_à_charge" ]
(embed_array embed_enfant) enfants_a_charge_ (embed_array embed_enfant) enfants_a_charge_
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 99;
start_column = 10;
end_line = 99;
end_column = 26;
law_headings = [ "Prologue" ];
})
in in
let allocations_familiales_dot_avait_enfant_a_charge_avant_1er_janvier_2012_ : unit -> bool = let allocations_familiales_dot_avait_enfant_a_charge_avant_1er_janvier_2012_ : bool =
fun (_ : unit) -> try
log_variable_definition log_variable_definition
[ [
"InterfaceAllocationsFamiliales"; "InterfaceAllocationsFamiliales";
"allocations_familiales.avait_enfant_à_charge_avant_1er_janvier_2012"; "allocations_familiales.avait_enfant_à_charge_avant_1er_janvier_2012";
] ]
embed_bool embed_bool
(try (try
if if
log_decision_taken log_decision_taken
{ {
filename = "./epilogue.catala_fr"; filename = "./epilogue.catala_fr";
start_line = 96; start_line = 96;
start_column = 20; start_column = 20;
end_line = 96; end_line = 96;
end_column = 66; end_column = 66;
law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ]; law_headings = [ "Interface du programme"; "Épilogue"; "Décrets divers" ];
} }
i_avait_enfant_a_charge_avant_1er_janvier_2012_ i_avait_enfant_a_charge_avant_1er_janvier_2012_
then true then true
else raise EmptyError else raise EmptyError
with EmptyError -> false) with EmptyError -> false)
with EmptyError ->
raise
(NoValueProvided
{
filename = "./prologue.catala_fr";
start_line = 120;
start_column = 10;
end_line = 120;
end_column = 54;
law_headings = [ "Prologue" ];
})
in in
let result_ : allocations_familiales_out = let result_ : allocations_familiales_out =
log_end_call log_end_call

14
french_law/ocaml/law_source/allocations_familiales.mli
View File

@ -65,13 +65,13 @@ type enfant = {
type interface_allocations_familiales_out = { i_montant_verse_out : money } type interface_allocations_familiales_out = { i_montant_verse_out : money }
type interface_allocations_familiales_in = { type interface_allocations_familiales_in = {
i_date_courante_in : unit -> date; i_date_courante_in : date;
i_enfants_in : unit -> enfant_entree array; i_enfants_in : enfant_entree array;
i_ressources_menage_in : unit -> money; i_ressources_menage_in : money;
i_residence_in : unit -> collectivite; i_residence_in : collectivite;
i_personne_charge_effective_permanente_est_parent_in : unit -> bool; i_personne_charge_effective_permanente_est_parent_in : bool;
i_personne_charge_effective_permanente_remplit_titre_I_in : unit -> bool; i_personne_charge_effective_permanente_remplit_titre_I_in : bool;
i_avait_enfant_a_charge_avant_1er_janvier_2012_in : unit -> bool; i_avait_enfant_a_charge_avant_1er_janvier_2012_in : bool;
} }
val interface_allocations_familiales : val interface_allocations_familiales :

2870
french_law/python/src/allocations_familiales.py generated
View File

File diff suppressed because it is too large Load Diff

16
french_law/python/src/api.py
View File

@ -38,13 +38,13 @@ def allocations_familiales(
avait_enfant_a_charge_avant_1er_janvier_2012: bool avait_enfant_a_charge_avant_1er_janvier_2012: bool
): ):
out = interface_allocations_familiales(InterfaceAllocationsFamilialesIn( out = interface_allocations_familiales(InterfaceAllocationsFamilialesIn(
i_date_courante_in=lambda _: date_of_datetime(date_courante), i_date_courante_in=date_of_datetime(date_courante),
i_enfants_in=lambda _: [enfant.to_allocations_familiales() i_enfants_in=[enfant.to_allocations_familiales()
for enfant in enfants], for enfant in enfants],
i_ressources_menage_in=lambda _: money_of_units_int(ressources_menage), i_ressources_menage_in=money_of_units_int(ressources_menage),
i_residence_in=lambda _: Collectivite(residence, Unit()), i_residence_in=Collectivite(residence, Unit()),
i_personne_charge_effective_permanente_est_parent_in=lambda _: personne_charge_effective_permanente_est_parent, i_personne_charge_effective_permanente_est_parent_in=personne_charge_effective_permanente_est_parent,
i_personne_charge_effective_permanente_remplit_titre_I_in=lambda _: personne_charge_effective_permanente_remplit_titre_I, i_personne_charge_effective_permanente_remplit_titre_I_in=personne_charge_effective_permanente_remplit_titre_I,
i_avait_enfant_a_charge_avant_1er_janvier_2012_in=lambda _: avait_enfant_a_charge_avant_1er_janvier_2012 i_avait_enfant_a_charge_avant_1er_janvier_2012_in=avait_enfant_a_charge_avant_1er_janvier_2012
)) ))
return money_to_float(out.i_montant_verse_out) return money_to_float(out.i_montant_verse_out)

8
tests/test_visibility/good/output/condition_only_input.catala_en.B.Dcalc Normal file
View File

@ -0,0 +1,8 @@
let B =
λ (B_in_13: B_in{}) →
let a.x_14 : bool = error_empty
⟨true ⊢ ⟨⟨true ⊢ false⟩ | false ⊢ ∅ ⟩⟩ in
let result_15 : A_out{"y_out": integer} = A_2 (A_in {"x_in"= a.x_14}) in
let a.y_16 : integer = result_15."y_out" in
let __17 : unit = assert (a.y_16 = 1) in
B_out {}