G (lp-highs.Lp_highs

module CI = Cstubs_internals

val lp_highs_stub_1_Highs_version : unit -> CI.voidp

val lp_highs_stub_2_Highs_create : unit -> CI.voidp

val lp_highs_stub_3_Highs_destroy : (_, _) CI.fatptr -> unit

val lp_highs_stub_4_Highs_getInfinity : (_, _) CI.fatptr -> float

val lp_highs_stub_5_Highs_setBoolOptionValue : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int ->
  int

val lp_highs_stub_6_Highs_setIntOptionValue : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int ->
  int

val lp_highs_stub_7_Highs_setDoubleOptionValue : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  float ->
  int

val lp_highs_stub_8_Highs_setStringOptionValue : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int

val lp_highs_stub_9_Highs_getOptionType : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int

val lp_highs_stub_10_Highs_passLp : 
  (_, _) CI.fatptr ->
  int ->
  int ->
  int ->
  int ->
  int ->
  float ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int

val lp_highs_stub_11_Highs_passMip : 
  (_, _) CI.fatptr ->
  int ->
  int ->
  int ->
  int ->
  int ->
  float ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int

val lp_highs_stub_12_Highs_passModel : 
  (_, _) CI.fatptr ->
  int ->
  int ->
  int ->
  int ->
  int ->
  int ->
  int ->
  float ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int

val lp_highs_stub_13_Highs_run : (_, _) CI.fatptr -> int

val lp_highs_stub_14_Highs_getSolution : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  int

val lp_highs_stub_15_Highs_getModelStatus : (_, _) CI.fatptr -> int

val lp_highs_stub_16_Highs_getObjectiveValue : (_, _) CI.fatptr -> float

val lp_highs_stub_17_Highs_getNumCol : (_, _) CI.fatptr -> int

val lp_highs_stub_18_Highs_getNumRow : (_, _) CI.fatptr -> int

type 'a result = 'a

type 'a return = 'a

type 'a fn =

| Returns : 'a CI.typ -> 'a return fn
| Function : 'a CI.typ * 'b fn -> ('a -> 'b) fn

val map_result : ('a -> 'b) -> 'a -> 'b

val returning : 'a CI.typ -> 'a return fn

val (@->) : 'a CI.typ -> 'b fn -> ('a -> 'b) fn

val foreign : 'a 'b. string -> ('a -> 'b) fn -> 'a -> 'b

val foreign_value : 'a. string -> 'a Ctypes.typ -> 'a Ctypes.ptr