pub fn pointer_machine_ty() -> Expr
PointerMachine : Type Pointer machine model for data structure complexity.
PointerMachine : Type