let encode fmt v = F.e_app2 "encode" fmt v