pub fn fat_node_method_ty() -> Expr
FatNodeMethod : Nat → Prop — the fat node method overhead is O(1) per update.
FatNodeMethod : Nat → Prop