summaryrefslogtreecommitdiffstats
path: root/external/glpk/type_description.ml
blob: 620b82b9e529af9396100ab8fe5de3edb850310f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
open Ctypes

module Types (F: Ctypes.TYPE) = struct
  open F

  type glp_prob = unit ptr
  let glp_prob : glp_prob typ = ptr void

  type glp_iocp_ptr = unit ptr
  let glp_iocp_ptr : glp_iocp_ptr typ = ptr void

  type glp_smcp
  let glp_smcp : glp_smcp structure typ = structure "glp_smcp"

  type glp_smcp_ptr = unit ptr
  let glp_smcp_ptr : glp_smcp_ptr typ = ptr void

  let glp_min = constant "GLP_MIN" int
  let glp_fx = constant "GLP_FX" int
  let glp_lo = constant "GLP_LO" int
  let glp_opt = constant "GLP_OPT" int
  let glp_iv = constant "GLP_IV" int
  let glp_off = constant "GLP_OFF" int
end