| 1 | (* This file has been generated automatically. DO NOT EDIT! *) |
| 2 | (* [from code at "/usr/include/postgresql/libpq-fe.h":38.1-60.17] *) |
| 3 | (* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *) |
| 4 | (* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *) |
| 5 | local open C in |
| 6 | structure E_'ConnStatusType = struct |
| 7 | open ET_'ConnStatusType |
| 8 | type mlrep = MLRep.Signed.int |
| 9 | val e_CONNECTION_OK = 0 : mlrep |
| 10 | val e_CONNECTION_BAD = 1 : mlrep |
| 11 | val e_CONNECTION_STARTED = 2 : mlrep |
| 12 | val e_CONNECTION_MADE = 3 : mlrep |
| 13 | val e_CONNECTION_AWAITING_RESPONSE = 4 : mlrep |
| 14 | val e_CONNECTION_AUTH_OK = 5 : mlrep |
| 15 | val e_CONNECTION_SETENV = 6 : mlrep |
| 16 | fun m2i (x : mlrep) = x : MLRep.Signed.int |
| 17 | fun i2m (x : MLRep.Signed.int) = x : mlrep |
| 18 | fun c x = Cvt.i2c_enum (m2i x) : tag enum |
| 19 | fun ml (x : tag enum) = i2m (Cvt.c2i_enum x) |
| 20 | fun get' (x : (tag, 'c) enum_obj') = i2m (Get.enum' x) |
| 21 | fun set' (x : (tag, rw) enum_obj', v) = Set.enum' (x, m2i v) |
| 22 | fun get (x : (tag, 'c) enum_obj) = i2m (Get.enum x) |
| 23 | fun set (x : (tag, rw) enum_obj, v) = Set.enum (x, m2i v) |
| 24 | end |
| 25 | end (* local *) |