1 (* This file has been generated automatically
. DO NOT EDIT
! *)
2 (* [from code at
"/usr/include/postgresql/libpq-fe.h":62.1-69.28] *)
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_
'PostgresPollingStatusType
= struct
7 open ET_
'PostgresPollingStatusType
8 type mlrep
= MLRep
.Signed
.int
9 val e_PGRES_POLLING_FAILED
= 0 : mlrep
10 val e_PGRES_POLLING_READING
= 1 : mlrep
11 val e_PGRES_POLLING_WRITING
= 2 : mlrep
12 val e_PGRES_POLLING_OK
= 3 : mlrep
13 val e_PGRES_POLLING_ACTIVE
= 4 : mlrep
14 fun m2i (x
: mlrep
) = x
: MLRep
.Signed
.int
15 fun i2m (x
: MLRep
.Signed
.int) = x
: mlrep
16 fun c x
= Cvt
.i2c_enum (m2i x
) : tag enum
17 fun ml (x
: tag enum
) = i2m (Cvt
.c2i_enum x
)
18 fun get
' (x
: (tag
, 'c
) enum_obj
') = i2m (Get
.enum
' x
)
19 fun set
' (x
: (tag
, rw
) enum_obj
', v
) = Set
.enum
' (x
, m2i v
)
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
)