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.1) for x86
-unix
] *)
4 (* Send comments
and suggestions to blume@tti
-c
.org
. Thanks
! *)
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
)