Aides_logement (french_law.Law_source.Aides

module TypePret : sig ... end

val embed_type_pret : TypePret.t -> Runtime_ocaml.Runtime.runtime_value

module TitulairePret : sig ... end

val embed_titulaire_pret : 
  TitulairePret.t ->
  Runtime_ocaml.Runtime.runtime_value

module TypeTravauxLogementD83215 : sig ... end

val embed_type_travaux_logement_d832_15 : 
  TypeTravauxLogementD83215.t ->
  Runtime_ocaml.Runtime.runtime_value

module TypeTravauxLogementR8425 : sig ... end

val embed_type_travaux_logement_r842_5 : 
  TypeTravauxLogementR8425.t ->
  Runtime_ocaml.Runtime.runtime_value

module AmelioreParOccupant : sig ... end

val embed_ameliore_par_occupant : 
  AmelioreParOccupant.t ->
  Runtime_ocaml.Runtime.runtime_value

module LimiteTranche : sig ... end

val embed_limite_tranche : 
  LimiteTranche.t ->
  Runtime_ocaml.Runtime.runtime_value

module LimiteTrancheDecimal : sig ... end

val embed_limite_tranche_decimal : 
  LimiteTrancheDecimal.t ->
  Runtime_ocaml.Runtime.runtime_value

module PrestationRecue : sig ... end

val embed_prestation_recue : 
  PrestationRecue.t ->
  Runtime_ocaml.Runtime.runtime_value

module ParentOuAutre : sig ... end

val embed_parent_ou_autre : 
  ParentOuAutre.t ->
  Runtime_ocaml.Runtime.runtime_value

module SituationGardeAlternee : sig ... end

val embed_situation_garde_alternee : 
  SituationGardeAlternee.t ->
  Runtime_ocaml.Runtime.runtime_value

module Parente : sig ... end

val embed_parente : Parente.t -> Runtime_ocaml.Runtime.runtime_value

module DateDeNaissanceOuMoisDeGrossesse : sig ... end

val embed_date_de_naissance_ou_mois_de_grossesse : 
  DateDeNaissanceOuMoisDeGrossesse.t ->
  Runtime_ocaml.Runtime.runtime_value

module ZoneDHabitation : sig ... end

val embed_zone_d_habitation : 
  ZoneDHabitation.t ->
  Runtime_ocaml.Runtime.runtime_value

module VersementA : sig ... end

val embed_versement_a : VersementA.t -> Runtime_ocaml.Runtime.runtime_value

module DepenseLogement : sig ... end

val embed_depense_logement : 
  DepenseLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module ModeOccupationImpaye : sig ... end

val embed_mode_occupation_impaye : 
  ModeOccupationImpaye.t ->
  Runtime_ocaml.Runtime.runtime_value

module TypeEligibiliteAllocationLogement : sig ... end

val embed_type_eligibilite_allocation_logement : 
  TypeEligibiliteAllocationLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module AccordFinancementRepresentantEtatOutreMer : sig ... end

val embed_accord_financement_representant_etat_outre_mer : 
  AccordFinancementRepresentantEtatOutreMer.t ->
  Runtime_ocaml.Runtime.runtime_value

module TypeAidesPersonnelleLogement : sig ... end

val embed_type_aides_personnelle_logement : 
  TypeAidesPersonnelleLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module SituationFamiliale : sig ... end

val embed_situation_familiale : 
  SituationFamiliale.t ->
  Runtime_ocaml.Runtime.runtime_value

module TypeLogementFoyer : sig ... end

val embed_type_logement_foyer : 
  TypeLogementFoyer.t ->
  Runtime_ocaml.Runtime.runtime_value

module CategorieEquivalenceLoyerAllocationLogementFoyer : sig ... end

val embed_categorie_equivalence_loyer_allocation_logement_foyer : 
  CategorieEquivalenceLoyerAllocationLogementFoyer.t ->
  Runtime_ocaml.Runtime.runtime_value

module SituationFamilialeCalculAPL : sig ... end

val embed_situation_familiale_calcul_a_p_l : 
  SituationFamilialeCalculAPL.t ->
  Runtime_ocaml.Runtime.runtime_value

module Collectivite : sig ... end

val embed_collectivite : Collectivite.t -> Runtime_ocaml.Runtime.runtime_value

module SituationObligationScolaire : sig ... end

val embed_situation_obligation_scolaire : 
  SituationObligationScolaire.t ->
  Runtime_ocaml.Runtime.runtime_value

module ConventionBailleurSocial : sig ... end

val embed_convention_bailleur_social : 
  ConventionBailleurSocial.t ->
  Runtime_ocaml.Runtime.runtime_value

module ConventionANHA : sig ... end

val embed_convention_a_n_h_a : 
  ConventionANHA.t ->
  Runtime_ocaml.Runtime.runtime_value

module PersonneSousLocation : sig ... end

val embed_personne_sous_location : 
  PersonneSousLocation.t ->
  Runtime_ocaml.Runtime.runtime_value

module ConditionsEtrangers : sig ... end

val embed_conditions_etrangers : 
  ConditionsEtrangers.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibiliteAidePersonnaliseeLogement : sig ... end

val embed_eligibilite_aide_personnalisee_logement : 
  EligibiliteAidePersonnaliseeLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibilitePrimeDeDemenagement : sig ... end

val embed_eligibilite_prime_de_demenagement : 
  EligibilitePrimeDeDemenagement.t ->
  Runtime_ocaml.Runtime.runtime_value

module ContributionsSocialesAidesPersonnelleLogement : sig ... end

val embed_contributions_sociales_aides_personnelle_logement : 
  ContributionsSocialesAidesPersonnelleLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementLocatif : sig ... end

val embed_calcul_aide_personnalisee_logement_locatif : 
  CalculAidePersonnaliseeLogementLocatif.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculEquivalenceLoyerMinimale : sig ... end

val embed_calcul_equivalence_loyer_minimale : 
  CalculEquivalenceLoyerMinimale.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculNombrePartLogementFoyer : sig ... end

val embed_calcul_nombre_part_logement_foyer : 
  CalculNombrePartLogementFoyer.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementFoyer : sig ... end

val embed_calcul_aide_personnalisee_logement_foyer : 
  CalculAidePersonnaliseeLogementFoyer.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculNombrePartsAccessionPropriete : sig ... end

val embed_calcul_nombre_parts_accession_propriete : 
  CalculNombrePartsAccessionPropriete.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementAccessionPropriete : sig ... end

val embed_calcul_aide_personnalisee_logement_accession_propriete : 
  CalculAidePersonnaliseeLogementAccessionPropriete.t ->
  Runtime_ocaml.Runtime.runtime_value

module TraitementFormuleAideFinale : sig ... end

val embed_traitement_formule_aide_finale : 
  TraitementFormuleAideFinale.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogement : sig ... end

val embed_calcul_aide_personnalisee_logement : 
  CalculAidePersonnaliseeLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module InfosChangementLogementD8424 : sig ... end

val embed_infos_changement_logement_d842_4 : 
  InfosChangementLogementD8424.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementLocatif : sig ... end

val embed_calcul_allocation_logement_locatif : 
  CalculAllocationLogementLocatif.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementAccessionPropriete : sig ... end

val embed_calcul_allocation_logement_accession_propriete : 
  CalculAllocationLogementAccessionPropriete.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementFoyer : sig ... end

val embed_calcul_allocation_logement_foyer : 
  CalculAllocationLogementFoyer.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogement : sig ... end

val embed_calcul_allocation_logement : 
  CalculAllocationLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module OuvertureDroitsRetraite : sig ... end

val embed_ouverture_droits_retraite : 
  OuvertureDroitsRetraite.t ->
  Runtime_ocaml.Runtime.runtime_value

module ImpayeDepenseLogement : sig ... end

val embed_impaye_depense_logement : 
  ImpayeDepenseLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculetteAidesAuLogement : sig ... end

val embed_calculette_aides_au_logement : 
  CalculetteAidesAuLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculetteAidesAuLogementGardeAlternee : sig ... end

val embed_calculette_aides_au_logement_garde_alternee : 
  CalculetteAidesAuLogementGardeAlternee.t ->
  Runtime_ocaml.Runtime.runtime_value

module BaseMensuelleAllocationsFamiliales : sig ... end

val embed_base_mensuelle_allocations_familiales : 
  BaseMensuelleAllocationsFamiliales.t ->
  Runtime_ocaml.Runtime.runtime_value

module VerificationAgeInferieurOuEgalA : sig ... end

val embed_verification_age_inferieur_ou_egal_a : 
  VerificationAgeInferieurOuEgalA.t ->
  Runtime_ocaml.Runtime.runtime_value

module VerificationAgeSuperieurA : sig ... end

val embed_verification_age_superieur_a : 
  VerificationAgeSuperieurA.t ->
  Runtime_ocaml.Runtime.runtime_value

module Smic : sig ... end

val embed_smic : Smic.t -> Runtime_ocaml.Runtime.runtime_value

module NeufOuAncien : sig ... end

val embed_neuf_ou_ancien : 
  NeufOuAncien.t ->
  Runtime_ocaml.Runtime.runtime_value

module TrancheRevenu : sig ... end

val embed_tranche_revenu : 
  TrancheRevenu.t ->
  Runtime_ocaml.Runtime.runtime_value

module TrancheRevenuDecimal : sig ... end

val embed_tranche_revenu_decimal : 
  TrancheRevenuDecimal.t ->
  Runtime_ocaml.Runtime.runtime_value

module AutrePersonneACharge : sig ... end

val embed_autre_personne_a_charge : 
  AutrePersonneACharge.t ->
  Runtime_ocaml.Runtime.runtime_value

module DateNaissanceTroisiemeOuDernierPlusEnfant : sig ... end

val embed_date_naissance_troisieme_ou_dernier_plus_enfant : 
  DateNaissanceTroisiemeOuDernierPlusEnfant.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibiliteAllocationLogement : sig ... end

val embed_eligibilite_allocation_logement : 
  EligibiliteAllocationLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module Pret : sig ... end

val embed_pret : Pret.t -> Runtime_ocaml.Runtime.runtime_value

module LogementFoyer : sig ... end

val embed_logement_foyer : 
  LogementFoyer.t ->
  Runtime_ocaml.Runtime.runtime_value

module EnfantPrestationsFamiliales : sig ... end

val embed_enfant_prestations_familiales : 
  EnfantPrestationsFamiliales.t ->
  Runtime_ocaml.Runtime.runtime_value

module TypeBailleur : sig ... end

val embed_type_bailleur : TypeBailleur.t -> Runtime_ocaml.Runtime.runtime_value

module LoueOuSousLoueADesTiers : sig ... end

val embed_loue_ou_sous_loue_a_des_tiers : 
  LoueOuSousLoueADesTiers.t ->
  Runtime_ocaml.Runtime.runtime_value

module Nationalite : sig ... end

val embed_nationalite : Nationalite.t -> Runtime_ocaml.Runtime.runtime_value

module ChangementLogementD8424 : sig ... end

val embed_changement_logement_d842_4 : 
  ChangementLogementD8424.t ->
  Runtime_ocaml.Runtime.runtime_value

module InformationsPrimeDeDemenagement : sig ... end

val embed_informations_prime_de_demenagement : 
  InformationsPrimeDeDemenagement.t ->
  Runtime_ocaml.Runtime.runtime_value

module Proprietaire : sig ... end

val embed_proprietaire : Proprietaire.t -> Runtime_ocaml.Runtime.runtime_value

module EligibilitePrestationsFamiliales : sig ... end

val embed_eligibilite_prestations_familiales : 
  EligibilitePrestationsFamiliales.t ->
  Runtime_ocaml.Runtime.runtime_value

module Demandeur : sig ... end

val embed_demandeur : Demandeur.t -> Runtime_ocaml.Runtime.runtime_value

module EnfantACharge : sig ... end

val embed_enfant_a_charge : 
  EnfantACharge.t ->
  Runtime_ocaml.Runtime.runtime_value

module Location : sig ... end

val embed_location : Location.t -> Runtime_ocaml.Runtime.runtime_value

module PersonneACharge : sig ... end

val embed_personne_a_charge : 
  PersonneACharge.t ->
  Runtime_ocaml.Runtime.runtime_value

module CategorieCalculAPL : sig ... end

val embed_categorie_calcul_a_p_l : 
  CategorieCalculAPL.t ->
  Runtime_ocaml.Runtime.runtime_value

module ModeOccupation : sig ... end

val embed_mode_occupation : 
  ModeOccupation.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibiliteAidesPersonnelleLogement : sig ... end

val embed_eligibilite_aides_personnelle_logement : 
  EligibiliteAidesPersonnelleLogement.t ->
  Runtime_ocaml.Runtime.runtime_value

module Logement : sig ... end

val embed_logement : Logement.t -> Runtime_ocaml.Runtime.runtime_value

module Menage : sig ... end

val embed_menage : Menage.t -> Runtime_ocaml.Runtime.runtime_value

module EligibiliteAidesPersonnelleLogementIn : sig ... end

val embed_eligibilite_aides_personnelle_logement_in : 
  EligibiliteAidesPersonnelleLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibiliteAidePersonnaliseeLogementIn : sig ... end

val embed_eligibilite_aide_personnalisee_logement_in : 
  EligibiliteAidePersonnaliseeLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibiliteAllocationLogementIn : sig ... end

val embed_eligibilite_allocation_logement_in : 
  EligibiliteAllocationLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module EligibilitePrimeDeDemenagementIn : sig ... end

val embed_eligibilite_prime_de_demenagement_in : 
  EligibilitePrimeDeDemenagementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module ContributionsSocialesAidesPersonnelleLogementIn : sig ... end

val embed_contributions_sociales_aides_personnelle_logement_in : 
  ContributionsSocialesAidesPersonnelleLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementLocatifIn : sig ... end

val embed_calcul_aide_personnalisee_logement_locatif_in : 
  CalculAidePersonnaliseeLogementLocatifIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculEquivalenceLoyerMinimaleIn : sig ... end

val embed_calcul_equivalence_loyer_minimale_in : 
  CalculEquivalenceLoyerMinimaleIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculNombrePartLogementFoyerIn : sig ... end

val embed_calcul_nombre_part_logement_foyer_in : 
  CalculNombrePartLogementFoyerIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementFoyerIn : sig ... end

val embed_calcul_aide_personnalisee_logement_foyer_in : 
  CalculAidePersonnaliseeLogementFoyerIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculNombrePartsAccessionProprieteIn : sig ... end

val embed_calcul_nombre_parts_accession_propriete_in : 
  CalculNombrePartsAccessionProprieteIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementAccessionProprieteIn : sig ... end

val embed_calcul_aide_personnalisee_logement_accession_propriete_in : 
  CalculAidePersonnaliseeLogementAccessionProprieteIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAidePersonnaliseeLogementIn : sig ... end

val embed_calcul_aide_personnalisee_logement_in : 
  CalculAidePersonnaliseeLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementLocatifIn : sig ... end

val embed_calcul_allocation_logement_locatif_in : 
  CalculAllocationLogementLocatifIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementAccessionProprieteIn : sig ... end

val embed_calcul_allocation_logement_accession_propriete_in : 
  CalculAllocationLogementAccessionProprieteIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementFoyerIn : sig ... end

val embed_calcul_allocation_logement_foyer_in : 
  CalculAllocationLogementFoyerIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculAllocationLogementIn : sig ... end

val embed_calcul_allocation_logement_in : 
  CalculAllocationLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module OuvertureDroitsRetraiteIn : sig ... end

val embed_ouverture_droits_retraite_in : 
  OuvertureDroitsRetraiteIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module ImpayeDepenseLogementIn : sig ... end

val embed_impaye_depense_logement_in : 
  ImpayeDepenseLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculetteAidesAuLogementIn : sig ... end

val embed_calculette_aides_au_logement_in : 
  CalculetteAidesAuLogementIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module CalculetteAidesAuLogementGardeAlterneeIn : sig ... end

val embed_calculette_aides_au_logement_garde_alternee_in : 
  CalculetteAidesAuLogementGardeAlterneeIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module BaseMensuelleAllocationsFamilialesIn : sig ... end

val embed_base_mensuelle_allocations_familiales_in : 
  BaseMensuelleAllocationsFamilialesIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module VerificationAgeInferieurOuEgalAIn : sig ... end

val embed_verification_age_inferieur_ou_egal_a_in : 
  VerificationAgeInferieurOuEgalAIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module VerificationAgeSuperieurAIn : sig ... end

val embed_verification_age_superieur_a_in : 
  VerificationAgeSuperieurAIn.t ->
  Runtime_ocaml.Runtime.runtime_value

module SmicIn : sig ... end

val embed_smic_in : SmicIn.t -> Runtime_ocaml.Runtime.runtime_value

module EligibilitePrestationsFamilialesIn : sig ... end

val embed_eligibilite_prestations_familiales_in : 
  EligibilitePrestationsFamilialesIn.t ->
  Runtime_ocaml.Runtime.runtime_value

val contributions_sociales_aides_personnelle_logement : 
  ContributionsSocialesAidesPersonnelleLogementIn.t ->
  ContributionsSocialesAidesPersonnelleLogement.t

val calcul_equivalence_loyer_minimale : 
  CalculEquivalenceLoyerMinimaleIn.t ->
  CalculEquivalenceLoyerMinimale.t

val calcul_nombre_part_logement_foyer : 
  CalculNombrePartLogementFoyerIn.t ->
  CalculNombrePartLogementFoyer.t

val calcul_nombre_parts_accession_propriete : 
  CalculNombrePartsAccessionProprieteIn.t ->
  CalculNombrePartsAccessionPropriete.t

val ouverture_droits_retraite : 
  OuvertureDroitsRetraiteIn.t ->
  OuvertureDroitsRetraite.t

val impaye_depense_logement : 
  ImpayeDepenseLogementIn.t ->
  ImpayeDepenseLogement.t

val base_mensuelle_allocations_familiales : 
  BaseMensuelleAllocationsFamilialesIn.t ->
  BaseMensuelleAllocationsFamiliales.t

val verification_age_inferieur_ou_egal_a : 
  VerificationAgeInferieurOuEgalAIn.t ->
  VerificationAgeInferieurOuEgalA.t

val verification_age_superieur_a : 
  VerificationAgeSuperieurAIn.t ->
  VerificationAgeSuperieurA.t

val smic : SmicIn.t -> Smic.t

val arrondi_centaine_superieure_ : 
  Runtime_ocaml.Runtime.money ->
  Runtime_ocaml.Runtime.money

val traitement_nul_tout_le_temps_ : 
  Runtime_ocaml.Runtime.money ->
  Runtime_ocaml.Runtime.money

val montee_en_charge_saint_pierre_miquelon_ : 
  Runtime_ocaml.Runtime.money ->
  Collectivite.t ->
  Runtime_ocaml.Runtime.date ->
  Runtime_ocaml.Runtime.money

val calcul_aide_personnalisee_logement_foyer : 
  CalculAidePersonnaliseeLogementFoyerIn.t ->
  CalculAidePersonnaliseeLogementFoyer.t

val calcul_aide_personnalisee_logement_accession_propriete : 
  CalculAidePersonnaliseeLogementAccessionProprieteIn.t ->
  CalculAidePersonnaliseeLogementAccessionPropriete.t

val eligibilite_prestations_familiales : 
  EligibilitePrestationsFamilialesIn.t ->
  EligibilitePrestationsFamiliales.t

val calcul_aide_personnalisee_logement_locatif : 
  CalculAidePersonnaliseeLogementLocatifIn.t ->
  CalculAidePersonnaliseeLogementLocatif.t

val calcul_allocation_logement_foyer : 
  CalculAllocationLogementFoyerIn.t ->
  CalculAllocationLogementFoyer.t

val calcul_allocation_logement_accession_propriete : 
  CalculAllocationLogementAccessionProprieteIn.t ->
  CalculAllocationLogementAccessionPropriete.t

val eligibilite_aides_personnelle_logement : 
  EligibiliteAidesPersonnelleLogementIn.t ->
  EligibiliteAidesPersonnelleLogement.t

val calcul_allocation_logement_locatif : 
  CalculAllocationLogementLocatifIn.t ->
  CalculAllocationLogementLocatif.t

val calcul_aide_personnalisee_logement : 
  CalculAidePersonnaliseeLogementIn.t ->
  CalculAidePersonnaliseeLogement.t

val eligibilite_prime_de_demenagement : 
  EligibilitePrimeDeDemenagementIn.t ->
  EligibilitePrimeDeDemenagement.t

val eligibilite_allocation_logement : 
  EligibiliteAllocationLogementIn.t ->
  EligibiliteAllocationLogement.t

val eligibilite_aide_personnalisee_logement : 
  EligibiliteAidePersonnaliseeLogementIn.t ->
  EligibiliteAidePersonnaliseeLogement.t

val calcul_allocation_logement : 
  CalculAllocationLogementIn.t ->
  CalculAllocationLogement.t

val calculette_aides_au_logement : 
  CalculetteAidesAuLogementIn.t ->
  CalculetteAidesAuLogement.t

val calculette_aides_au_logement_garde_alternee : 
  CalculetteAidesAuLogementGardeAlterneeIn.t ->
  CalculetteAidesAuLogementGardeAlternee.t