let t_mem : Formula.tau = Formula.ADT ("memory", [])