(
  ;; (defun-inline truth_data_to_truth_struct (my_id full_puzhash innerpuzhash my_amount lineage_proof singleton_struct) (c (c my_id  full_puzhash) (c (c innerpuzhash my_amount) (c lineage_proof singleton_struct))))
  (defun-inline truth_data_to_truth_struct (my_id full_puzhash innerpuzhash my_amount lineage_proof singleton_struct) (c (c my_id  full_puzhash) (c (c innerpuzhash my_amount) (c () singleton_struct))))

  (defun-inline my_id_truth (Truths) (f (f Truths)))
  (defun-inline my_full_puzzle_hash_truth (Truths) (r (f Truths)))
  (defun-inline my_inner_puzzle_hash_truth (Truths) (f (f (r Truths))))
  (defun-inline my_amount_truth (Truths) (r (f (r Truths))))
  (defun-inline my_lineage_proof_truth (Truths) (f (r (r Truths))))
  (defun-inline singleton_struct_truth (Truths) (r (r (r Truths))))

  (defun-inline singleton_mod_hash_truth (Truths) (f (singleton_struct_truth Truths)))
  (defun-inline singleton_launcher_id_truth (Truths) (f (r (singleton_struct_truth Truths))))
  (defun-inline singleton_launcher_puzzle_hash_truth (Truths) (f (r (r (singleton_struct_truth Truths)))))

  (defun-inline parent_info_for_lineage_proof (lineage_proof) ())
  (defun-inline puzzle_hash_for_lineage_proof (lineage_proof) ())
  (defun-inline amount_for_lineage_proof (lineage_proof) ())
  (defun-inline is_not_eve_proof (lineage_proof) ())
  (defun-inline parent_info_for_eve_proof (lineage_proof) ())
  (defun-inline amount_for_eve_proof (lineage_proof) ())

;;  (defun-inline parent_info_for_lineage_proof (lineage_proof) (f lineage_proof))
;;  (defun-inline puzzle_hash_for_lineage_proof (lineage_proof) (f (r lineage_proof)))
;;  (defun-inline amount_for_lineage_proof (lineage_proof) (f (r (r lineage_proof))))
;;  (defun-inline is_not_eve_proof (lineage_proof) (r (r lineage_proof)))
;;  (defun-inline parent_info_for_eve_proof (lineage_proof) (f lineage_proof))
;;  (defun-inline amount_for_eve_proof (lineage_proof) (f (r lineage_proof)))
)