Index
| aaaActId | Deontic.Civil.Types, Deontic.Civil |
| aaaAgent | Deontic.Civil.Types, Deontic.Civil |
| aaaPrincipal | Deontic.Civil.Types, Deontic.Civil |
| AcqPrescFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| AcqPrescK | Deontic.Civil.Types, Deontic.Civil |
| AcqPrescriptionAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| addGregorianYearsClip | Deontic.Civil.Types, Deontic.Civil |
| AgencyWithdrawalAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| AgentIsLimitedCapacity | Deontic.Civil.Types, Deontic.Civil |
| AgentLiabilityAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| alActId | Deontic.Civil.Types, Deontic.Civil |
| alAgent | Deontic.Civil.Types, Deontic.Civil |
| alCounterparty | Deontic.Civil.Types, Deontic.Civil |
| apActId | Deontic.Civil.Types, Deontic.Civil |
| apActor | Deontic.Civil.Types, Deontic.Civil |
| apfCurrentDate | Deontic.Civil.Types, Deontic.Civil |
| apfGoodFaith | Deontic.Civil.Types, Deontic.Civil |
| apfNoNegligence | Deontic.Civil.Types, Deontic.Civil |
| apfPeaceful | Deontic.Civil.Types, Deontic.Civil |
| apfPublic | Deontic.Civil.Types, Deontic.Civil |
| apfSelfPossession | Deontic.Civil.Types, Deontic.Civil |
| apfStartDate | Deontic.Civil.Types, Deontic.Civil |
| ApparentAuth | Deontic.Civil.Types, Deontic.Civil |
| AuthAgencyAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| AuthorityExpired | Deontic.Civil.Types, Deontic.Civil |
| awActId | Deontic.Civil.Types, Deontic.Civil |
| awCounterparty | Deontic.Civil.Types, Deontic.Civil |
| awPrincipal | Deontic.Civil.Types, Deontic.Civil |
| BadFaith | Deontic.Civil.Types, Deontic.Civil |
| BadFaithCausation | Deontic.Civil.Types, Deontic.Civil |
| BadFaithCondition | Deontic.Civil.Types, Deontic.Civil |
| BadFaithKind | Deontic.Civil.Types, Deontic.Civil |
| BadFaithPrevention | Deontic.Civil.Types, Deontic.Civil |
| Blank | Deontic.Civil.Render, Deontic.Civil |
| Block | Deontic.Civil.Render, Deontic.Civil |
| Bold | Deontic.Civil.Render, Deontic.Civil |
| BonaFideThirdParty | Deontic.Civil.Types, Deontic.Civil |
| BuyerKnowledge | Deontic.Civil.Types, Deontic.Civil |
| ByCourtOrder | Deontic.Civil.Types, Deontic.Civil |
| ByExpropriation | Deontic.Civil.Types, Deontic.Civil |
| ByInheritance | Deontic.Civil.Types, Deontic.Civil |
| ByPublicAuction | Deontic.Civil.Types, Deontic.Civil |
| caActId | Deontic.Civil.Types, Deontic.Civil |
| CancellableAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| CancellationFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| CancellationK | Deontic.Civil.Types, Deontic.Civil |
| caPriorVerdict | Deontic.Civil.Types, Deontic.Civil |
| CaseFacts | |
| 1 (Type/Class) | Deontic.Civil.Evaluate, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Evaluate, Deontic.Civil |
| CaseResult | |
| 1 (Type/Class) | Deontic.Civil.Evaluate, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Evaluate, Deontic.Civil |
| cfActId | Deontic.Civil.Evaluate, Deontic.Civil |
| cfActor | Deontic.Civil.Evaluate, Deontic.Civil |
| cfCivilFacts | Deontic.Civil.Evaluate, Deontic.Civil |
| cfCounterparty | Deontic.Civil.Evaluate, Deontic.Civil |
| cfDomainFacts | Deontic.Civil.Evaluate, Deontic.Civil |
| CivilFact | Deontic.Civil.Types, Deontic.Civil |
| ClandestinePossession | Deontic.Civil.Types, Deontic.Civil |
| cnfCancelled | Deontic.Civil.Types, Deontic.Civil |
| cnfCauseCeased | Deontic.Civil.Types, Deontic.Civil |
| cnfConstructive | Deontic.Civil.Types, Deontic.Civil |
| cnfObjectionReserved | Deontic.Civil.Types, Deontic.Civil |
| cnfRatified | Deontic.Civil.Types, Deontic.Civil |
| cnfRatifierIsGuardian | Deontic.Civil.Types, Deontic.Civil |
| coActId | Deontic.Civil.Types, Deontic.Civil |
| Code | Deontic.Civil.Render, Deontic.Civil |
| cofConsented | Deontic.Civil.Types, Deontic.Civil |
| cofOwners | Deontic.Civil.Types, Deontic.Civil |
| CompulsoryExecution | Deontic.Civil.Types, Deontic.Civil |
| condActId | Deontic.Civil.Types, Deontic.Civil |
| condBadFaith | Deontic.Civil.Types, Deontic.Civil |
| CondFulfilled | Deontic.Civil.Types, Deontic.Civil |
| CondIllegal | Deontic.Civil.Types, Deontic.Civil |
| CondImpossible | Deontic.Civil.Types, Deontic.Civil |
| ConditionalAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| ConditionalFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| ConditionalK | Deontic.Civil.Types, Deontic.Civil |
| ConditionState | Deontic.Civil.Types, Deontic.Civil |
| ConditionType | Deontic.Civil.Types, Deontic.Civil |
| CondPending | Deontic.Civil.Types, Deontic.Civil |
| condState | Deontic.Civil.Types, Deontic.Civil |
| condType | Deontic.Civil.Types, Deontic.Civil |
| ConstructiveRatification | Deontic.Civil.Types, Deontic.Civil |
| ConstructiveRatificationEvent | Deontic.Civil.Types, Deontic.Civil |
| ContraBonorsMores | Deontic.Civil.Types, Deontic.Civil |
| ContributoryNeg | Deontic.Civil.Types, Deontic.Civil |
| Conversion | Deontic.Civil.Types, Deontic.Civil |
| CoOwnershipAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| CoOwnershipFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| CoOwnershipK | Deontic.Civil.Types, Deontic.Civil |
| CounterpartyCouldHaveKnown | Deontic.Civil.Types, Deontic.Civil |
| CounterpartyKnew | Deontic.Civil.Types, Deontic.Civil |
| CounterpartyKnewFraud | Deontic.Civil.Types, Deontic.Civil |
| CounterpartyKnewNoAuthority | Deontic.Civil.Types, Deontic.Civil |
| CounterpartyKnowledge | Deontic.Civil.Types, Deontic.Civil |
| CreditorDefense | Deontic.Civil.Types, Deontic.Civil |
| crJudgment | Deontic.Civil.Evaluate, Deontic.Civil |
| crLabel | Deontic.Civil.Evaluate, Deontic.Civil |
| Day | Deontic.Civil.Types, Deontic.Civil |
| DefaultAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| defaultCaseFacts | Deontic.Civil.Evaluate, Deontic.Civil |
| DefaultFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| DefaultK | Deontic.Civil.Types, Deontic.Civil |
| DemandForPerformance | Deontic.Civil.Types, Deontic.Civil |
| dfActId | Deontic.Civil.Types, Deontic.Civil |
| dfCreditor | Deontic.Civil.Types, Deontic.Civil |
| dfCreditorFault | Deontic.Civil.Types, Deontic.Civil |
| dfDebtor | Deontic.Civil.Types, Deontic.Civil |
| dfDebtorFault | Deontic.Civil.Types, Deontic.Civil |
| dfImpossible | Deontic.Civil.Types, Deontic.Civil |
| dfNonPerformance | Deontic.Civil.Types, Deontic.Civil |
| dfPerformanceDue | Deontic.Civil.Types, Deontic.Civil |
| domainFact | Deontic.Civil.Evaluate, Deontic.Civil |
| DomainKey | Deontic.Civil.Types, Deontic.Civil |
| EndDate | Deontic.Civil.Types, Deontic.Civil |
| evaluateAll | Deontic.Civil.Evaluate, Deontic.Civil |
| ExceededScope | Deontic.Civil.Types, Deontic.Civil |
| Expiration | Deontic.Civil.Types, Deontic.Civil |
| ExploitativeAct | Deontic.Civil.Types, Deontic.Civil |
| faActId | Deontic.Civil.Types, Deontic.Civil |
| faActor | Deontic.Civil.Types, Deontic.Civil |
| FormException | Deontic.Civil.Types, Deontic.Civil |
| FraudAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| FullOrPartialPerformance | Deontic.Civil.Types, Deontic.Civil |
| GeneralRatification | Deontic.Civil.Types, Deontic.Civil |
| GrossNegligence | Deontic.Civil.Types, Deontic.Civil |
| HasConsent | Deontic.Civil.Types, Deontic.Civil |
| HasDelivery | Deontic.Civil.Types, Deontic.Civil |
| HasGuardian | Deontic.Civil.Types, Deontic.Civil |
| HasRegistration | Deontic.Civil.Types, Deontic.Civil |
| Heading | Deontic.Civil.Render, Deontic.Civil |
| HiddenIntention | Deontic.Civil.Types, Deontic.Civil |
| HypotheticalIntent | Deontic.Civil.Types, Deontic.Civil |
| IllegalCondition | Deontic.Civil.Types, Deontic.Civil |
| IndicatedAuthority | Deontic.Civil.Types, Deontic.Civil |
| Inline | Deontic.Civil.Render, Deontic.Civil |
| Interruption | Deontic.Civil.Types, Deontic.Civil |
| InvalidityK | Deontic.Civil.Types, Deontic.Civil |
| IsAdult | Deontic.Civil.Types, Deontic.Civil |
| IsJuristicPerson | Deontic.Civil.Types, Deontic.Civil |
| IsMinor | Deontic.Civil.Types, Deontic.Civil |
| IsMovableProperty | Deontic.Civil.Types, Deontic.Civil |
| IsNaturalPerson | Deontic.Civil.Types, Deontic.Civil |
| IsRealProperty | Deontic.Civil.Types, Deontic.Civil |
| Italic | Deontic.Civil.Render, Deontic.Civil |
| jaActId | Deontic.Civil.Types, Deontic.Civil |
| jaActor | Deontic.Civil.Types, Deontic.Civil |
| JuristicAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| KoreanRenderer | |
| 1 (Type/Class) | Deontic.Civil.Render, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Render, Deontic.Civil |
| laActId | Deontic.Civil.Types, Deontic.Civil |
| laLessee | Deontic.Civil.Types, Deontic.Civil |
| laLessor | Deontic.Civil.Types, Deontic.Civil |
| LeaseAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| LeaseFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| LeaseK | Deontic.Civil.Types, Deontic.Civil |
| lfContinuedUse | Deontic.Civil.Types, Deontic.Civil |
| lfNoObjection | Deontic.Civil.Types, Deontic.Civil |
| lfPeriodExpired | Deontic.Civil.Types, Deontic.Civil |
| lfRentPaid | Deontic.Civil.Types, Deontic.Civil |
| lfTwoRentsLate | Deontic.Civil.Types, Deontic.Civil |
| lfValidContract | Deontic.Civil.Types, Deontic.Civil |
| maActId | Deontic.Civil.Types, Deontic.Civil |
| maActor | Deontic.Civil.Types, Deontic.Civil |
| Markdown | Deontic.Civil.Render, Deontic.Civil |
| MerelyAcquiresRight | Deontic.Civil.Types, Deontic.Civil |
| MinorAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| MistakeAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| mkActId | Deontic.Civil.Types, Deontic.Civil |
| mkActor | Deontic.Civil.Types, Deontic.Civil |
| NoOwnershipIntent | Deontic.Civil.Types, Deontic.Civil |
| Novation | Deontic.Civil.Types, Deontic.Civil |
| OutputFormat | Deontic.Civil.Render, Deontic.Civil |
| paActId | Deontic.Civil.Types, Deontic.Civil |
| paActor | Deontic.Civil.Types, Deontic.Civil |
| Para | Deontic.Civil.Render, Deontic.Civil |
| PartialInvalidityAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| PartialInvalidityFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| PerformsAct | Deontic.Civil.Types, Deontic.Civil |
| pfClaimDate | Deontic.Civil.Types, Deontic.Civil |
| pfCurrentDate | Deontic.Civil.Types, Deontic.Civil |
| pfInterruptedOn | Deontic.Civil.Types, Deontic.Civil |
| pfPeriodYears | Deontic.Civil.Types, Deontic.Civil |
| piActId | Deontic.Civil.Types, Deontic.Civil |
| pifConversionIntent | Deontic.Civil.Types, Deontic.Civil |
| pifHypotheticalIntent | Deontic.Civil.Types, Deontic.Civil |
| pifMeetsOtherReqs | Deontic.Civil.Types, Deontic.Civil |
| pifPartVoid | Deontic.Civil.Types, Deontic.Civil |
| pifRatifiedWithKnowledge | Deontic.Civil.Types, Deontic.Civil |
| Plain | Deontic.Civil.Render, Deontic.Civil |
| PlainText | Deontic.Civil.Render, Deontic.Civil |
| PossessionAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| prClaimId | Deontic.Civil.Types, Deontic.Civil |
| prCreditor | Deontic.Civil.Types, Deontic.Civil |
| PrescriptionAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| PrescriptionFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| PrescriptionK | Deontic.Civil.Types, Deontic.Civil |
| Presumption | Deontic.Civil.Types, Deontic.Civil |
| PropertyTransferAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| ptActId | Deontic.Civil.Types, Deontic.Civil |
| ptActor | Deontic.Civil.Types, Deontic.Civil |
| raActId | Deontic.Civil.Types, Deontic.Civil |
| raActor | Deontic.Civil.Types, Deontic.Civil |
| Ratification | Deontic.Civil.Types, Deontic.Civil |
| Ratified | Deontic.Civil.Types, Deontic.Civil |
| Rebuttal | Deontic.Civil.Types, Deontic.Civil |
| renderBlocks | Deontic.Civil.Render, Deontic.Civil |
| rendererFormat | Deontic.Civil.Render, Deontic.Civil |
| RenewalRight | Deontic.Civil.Types, Deontic.Civil |
| RescissionAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| RescissionFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| RescissionK | Deontic.Civil.Types, Deontic.Civil |
| Resolutive | Deontic.Civil.Types, Deontic.Civil |
| rfActDate | Deontic.Civil.Types, Deontic.Civil |
| rfCurrentDate | Deontic.Civil.Types, Deontic.Civil |
| rfKnowledgeDate | Deontic.Civil.Types, Deontic.Civil |
| RightAssignment | Deontic.Civil.Types, Deontic.Civil |
| saActId | Deontic.Civil.Types, Deontic.Civil |
| saActor | Deontic.Civil.Types, Deontic.Civil |
| SecurityProvision | Deontic.Civil.Types, Deontic.Civil |
| SelfDealing | Deontic.Civil.Types, Deontic.Civil |
| Seq | Deontic.Civil.Render, Deontic.Civil |
| ShamAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| ShortPrescription | Deontic.Civil.Types, Deontic.Civil |
| StartDate | Deontic.Civil.Types, Deontic.Civil |
| Suspensive | Deontic.Civil.Types, Deontic.Civil |
| taActId | Deontic.Civil.Types, Deontic.Civil |
| taTortfeasor | Deontic.Civil.Types, Deontic.Civil |
| taVictim | Deontic.Civil.Types, Deontic.Civil |
| tfCausation | Deontic.Civil.Types, Deontic.Civil |
| tfDamage | Deontic.Civil.Types, Deontic.Civil |
| tfFault | Deontic.Civil.Types, Deontic.Civil |
| tfUnlawful | Deontic.Civil.Types, Deontic.Civil |
| tfVictimNeg | Deontic.Civil.Types, Deontic.Civil |
| ThirdPartyFraud | Deontic.Civil.Types, Deontic.Civil |
| TortAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| TortFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| TortK | Deontic.Civil.Types, Deontic.Civil |
| uaaActId | Deontic.Civil.Types, Deontic.Civil |
| uaaAgent | Deontic.Civil.Types, Deontic.Civil |
| uaaPrincipal | Deontic.Civil.Types, Deontic.Civil |
| UnauthAgencyAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| ViolentPossession | Deontic.Civil.Types, Deontic.Civil |
| waActId | Deontic.Civil.Types, Deontic.Civil |
| waActor | Deontic.Civil.Types, Deontic.Civil |
| WarrantyAct | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| WarrantyFacts | |
| 1 (Type/Class) | Deontic.Civil.Types, Deontic.Civil |
| 2 (Data Constructor) | Deontic.Civil.Types, Deontic.Civil |
| WarrantyK | Deontic.Civil.Types, Deontic.Civil |
| wfBuyerKnew | Deontic.Civil.Types, Deontic.Civil |
| wfDefectExists | Deontic.Civil.Types, Deontic.Civil |
| wfNotifiedInTime | Deontic.Civil.Types, Deontic.Civil |
| wfSignificant | Deontic.Civil.Types, Deontic.Civil |