property

;; Waqf Tracker - Property
;; Endowment tracker for property

(define-map property-42-endowments principal {amount: uint})

(define-public (register-property-42 (amount uint))
    (begin
        (map-set property-42-endowments tx-sender {amount: amount})
        (ok true)
    )
)

(define-read-only (get-property-42 (donor principal))
    (map-get? property-42-endowments donor)
)