libocamlgsl-ocaml-dev 1.19.1-1 / usr / lib / ocaml / gsl / gsl_siman.annot

"lib/gsl_siman.ml" 16 393 397 "lib/gsl_siman.ml" 16 393 402
type(
  Gsl_rng.t ->
  'a ->
  energ_func:('a -> float) ->
  step_func:(Gsl_rng.t -> 'a -> float -> 'a) ->
  ?print_func:('a -> unit) -> params -> 'a
)
ident(
  def solve "lib/gsl_siman.ml" 62 1541 1550 "lib/gsl_siman.ml" 1 0 -1
)
"lib/gsl_siman.ml" 16 393 403 "lib/gsl_siman.ml" 16 393 406
type(
  Gsl_rng.t
)
ident(
  def rng "lib/gsl_siman.ml" 16 393 407 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 16 393 407 "lib/gsl_siman.ml" 16 393 412
type(
  'a
)
ident(
  def conf0 "lib/gsl_siman.ml" 17 414 418 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 17 414 419 "lib/gsl_siman.ml" 17 414 429
type(
  'a -> float
)
ident(
  def energ_func "lib/gsl_siman.ml" 17 414 430 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 17 414 431 "lib/gsl_siman.ml" 17 414 440
type(
  Gsl_rng.t -> 'a -> float -> 'a
)
ident(
  def step_func "lib/gsl_siman.ml" 18 441 445 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 18 441 446 "lib/gsl_siman.ml" 18 441 456
type(
  ('a -> unit) option
)
ident(
  def print_func "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
type(
  params
)
ident(
  def params "lib/gsl_siman.ml" 20 469 471 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 20 469 475 "lib/gsl_siman.ml" 20 469 485
type(
  float ref
)
ident(
  def best_energ "lib/gsl_siman.ml" 21 514 516 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 20 469 488 "lib/gsl_siman.ml" 20 469 491
type(
  float -> float ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 20 469 493 "lib/gsl_siman.ml" 20 469 503
type(
  'a -> float
)
ident(
  int_ref energ_func "lib/gsl_siman.ml" 17 414 419 "lib/gsl_siman.ml" 17 414 429
)
"lib/gsl_siman.ml" 20 469 504 "lib/gsl_siman.ml" 20 469 509
type(
  'a
)
ident(
  int_ref conf0 "lib/gsl_siman.ml" 16 393 407 "lib/gsl_siman.ml" 16 393 412
)
"lib/gsl_siman.ml" 20 469 492 "lib/gsl_siman.ml" 20 469 510
call(
  stack
)
type(
  float
)
"lib/gsl_siman.ml" 20 469 488 "lib/gsl_siman.ml" 20 469 510
type(
  float ref
)
"lib/gsl_siman.ml" 21 514 520 "lib/gsl_siman.ml" 21 514 526
type(
  'a ref
)
ident(
  def best_x "lib/gsl_siman.ml" 22 542 544 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 21 514 529 "lib/gsl_siman.ml" 21 514 532
type(
  'a -> 'a ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 21 514 533 "lib/gsl_siman.ml" 21 514 538
type(
  'a
)
ident(
  int_ref conf0 "lib/gsl_siman.ml" 16 393 407 "lib/gsl_siman.ml" 16 393 412
)
"lib/gsl_siman.ml" 21 514 529 "lib/gsl_siman.ml" 21 514 538
type(
  'a ref
)
"lib/gsl_siman.ml" 22 542 548 "lib/gsl_siman.ml" 22 542 553
type(
  float ref
)
ident(
  def energ "lib/gsl_siman.ml" 23 575 577 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 22 542 556 "lib/gsl_siman.ml" 22 542 559
type(
  float -> float ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 22 542 560 "lib/gsl_siman.ml" 22 542 561
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 22 542 561 "lib/gsl_siman.ml" 22 542 571
type(
  float ref
)
ident(
  int_ref best_energ "lib/gsl_siman.ml" 20 469 475 "lib/gsl_siman.ml" 20 469 485
)
"lib/gsl_siman.ml" 22 542 560 "lib/gsl_siman.ml" 22 542 571
type(
  float
)
"lib/gsl_siman.ml" 22 542 556 "lib/gsl_siman.ml" 22 542 571
type(
  float ref
)
"lib/gsl_siman.ml" 23 575 581 "lib/gsl_siman.ml" 23 575 582
type(
  'a ref
)
ident(
  def x "lib/gsl_siman.ml" 25 601 603 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 23 575 585 "lib/gsl_siman.ml" 23 575 588
type(
  'a -> 'a ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 23 575 589 "lib/gsl_siman.ml" 23 575 590
type(
  'a ref -> 'a
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 23 575 590 "lib/gsl_siman.ml" 23 575 596
type(
  'a ref
)
ident(
  int_ref best_x "lib/gsl_siman.ml" 21 514 520 "lib/gsl_siman.ml" 21 514 526
)
"lib/gsl_siman.ml" 23 575 589 "lib/gsl_siman.ml" 23 575 596
type(
  'a
)
"lib/gsl_siman.ml" 23 575 585 "lib/gsl_siman.ml" 23 575 596
type(
  'a ref
)
"lib/gsl_siman.ml" 25 601 607 "lib/gsl_siman.ml" 25 601 608
type(
  float ref
)
ident(
  def t "lib/gsl_siman.ml" 26 635 637 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 25 601 611 "lib/gsl_siman.ml" 25 601 614
type(
  float -> float ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 25 601 615 "lib/gsl_siman.ml" 25 601 621
type(
  params
)
ident(
  int_ref params "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
)
"lib/gsl_siman.ml" 25 601 615 "lib/gsl_siman.ml" 25 601 631
type(
  float
)
"lib/gsl_siman.ml" 25 601 611 "lib/gsl_siman.ml" 25 601 631
type(
  float ref
)
"lib/gsl_siman.ml" 26 635 641 "lib/gsl_siman.ml" 26 635 647
type(
  int ref
)
ident(
  def n_iter "lib/gsl_siman.ml" 27 659 661 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 26 635 650 "lib/gsl_siman.ml" 26 635 653
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 26 635 654 "lib/gsl_siman.ml" 26 635 655
type(
  int
)
"lib/gsl_siman.ml" 26 635 650 "lib/gsl_siman.ml" 26 635 655
type(
  int ref
)
"lib/gsl_siman.ml" 27 659 665 "lib/gsl_siman.ml" 27 659 671
type(
  int ref
)
ident(
  def n_eval "lib/gsl_siman.ml" 29 684 686 "lib/gsl_siman.ml" 62 1541 1550
)
"lib/gsl_siman.ml" 27 659 674 "lib/gsl_siman.ml" 27 659 677
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/gsl_siman.ml" 27 659 678 "lib/gsl_siman.ml" 27 659 679
type(
  int
)
"lib/gsl_siman.ml" 27 659 674 "lib/gsl_siman.ml" 27 659 679
type(
  int ref
)
"lib/gsl_siman.ml" 29 684 689 "lib/gsl_siman.ml" 29 684 691
type(
  ('a -> unit) option -> bool
)
ident(
  ext_ref Gsl_misc.is
)
"lib/gsl_siman.ml" 29 684 692 "lib/gsl_siman.ml" 29 684 702
type(
  ('a -> unit) option
)
ident(
  int_ref print_func "lib/gsl_siman.ml" 18 441 446 "lib/gsl_siman.ml" 18 441 456
)
"lib/gsl_siman.ml" 29 684 689 "lib/gsl_siman.ml" 29 684 702
call(
  stack
)
type(
  bool
)
"lib/gsl_siman.ml" 30 703 710 "lib/gsl_siman.ml" 30 703 722
type(
  string -> unit
)
ident(
  ext_ref Pervasives.print_string
)
"lib/gsl_siman.ml" 30 703 723 "lib/gsl_siman.ml" 30 703 778
type(
  string
)
"lib/gsl_siman.ml" 30 703 710 "lib/gsl_siman.ml" 30 703 778
call(
  stack
)
type(
  unit
)
"lib/gsl_siman.ml" 29 684 686 "lib/gsl_siman.ml" 30 703 778
type(
  unit
)
"lib/gsl_siman.ml" 32 782 790 "lib/gsl_siman.ml" 32 782 791
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 32 782 791 "lib/gsl_siman.ml" 32 782 792
type(
  float ref
)
ident(
  int_ref t "lib/gsl_siman.ml" 25 601 607 "lib/gsl_siman.ml" 25 601 608
)
"lib/gsl_siman.ml" 32 782 790 "lib/gsl_siman.ml" 32 782 792
type(
  float
)
"lib/gsl_siman.ml" 32 782 793 "lib/gsl_siman.ml" 32 782 795
type(
  float -> float -> bool
)
ident(
  ext_ref Pervasives.( >= )
)
"lib/gsl_siman.ml" 32 782 796 "lib/gsl_siman.ml" 32 782 802
type(
  params
)
ident(
  int_ref params "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
)
"lib/gsl_siman.ml" 32 782 796 "lib/gsl_siman.ml" 32 782 808
type(
  float
)
"lib/gsl_siman.ml" 32 782 790 "lib/gsl_siman.ml" 32 782 808
type(
  bool
)
"lib/gsl_siman.ml" 33 812 823 "lib/gsl_siman.ml" 33 812 824
type(
  int
)
"lib/gsl_siman.ml" 33 812 828 "lib/gsl_siman.ml" 33 812 834
type(
  params
)
ident(
  int_ref params "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
)
"lib/gsl_siman.ml" 33 812 828 "lib/gsl_siman.ml" 33 812 848
type(
  int
)
"lib/gsl_siman.ml" 34 852 862 "lib/gsl_siman.ml" 34 852 867
type(
  'a
)
ident(
  def new_x "lib/gsl_siman.ml" 35 907 913 "lib/gsl_siman.ml" 49 1280 1289
)
"lib/gsl_siman.ml" 34 852 870 "lib/gsl_siman.ml" 34 852 879
type(
  Gsl_rng.t -> 'a -> float -> 'a
)
ident(
  int_ref step_func "lib/gsl_siman.ml" 17 414 431 "lib/gsl_siman.ml" 17 414 440
)
"lib/gsl_siman.ml" 34 852 880 "lib/gsl_siman.ml" 34 852 883
type(
  Gsl_rng.t
)
ident(
  int_ref rng "lib/gsl_siman.ml" 16 393 403 "lib/gsl_siman.ml" 16 393 406
)
"lib/gsl_siman.ml" 34 852 884 "lib/gsl_siman.ml" 34 852 885
type(
  'a ref -> 'a
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 34 852 885 "lib/gsl_siman.ml" 34 852 886
type(
  'a ref
)
ident(
  int_ref x "lib/gsl_siman.ml" 23 575 581 "lib/gsl_siman.ml" 23 575 582
)
"lib/gsl_siman.ml" 34 852 884 "lib/gsl_siman.ml" 34 852 886
type(
  'a
)
"lib/gsl_siman.ml" 34 852 887 "lib/gsl_siman.ml" 34 852 893
type(
  params
)
ident(
  int_ref params "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
)
"lib/gsl_siman.ml" 34 852 887 "lib/gsl_siman.ml" 34 852 903
type(
  float
)
"lib/gsl_siman.ml" 34 852 870 "lib/gsl_siman.ml" 34 852 903
call(
  stack
)
type(
  'a
)
"lib/gsl_siman.ml" 35 907 917 "lib/gsl_siman.ml" 35 907 926
type(
  float
)
ident(
  def new_energ "lib/gsl_siman.ml" 36 949 955 "lib/gsl_siman.ml" 49 1280 1289
)
"lib/gsl_siman.ml" 35 907 929 "lib/gsl_siman.ml" 35 907 939
type(
  'a -> float
)
ident(
  int_ref energ_func "lib/gsl_siman.ml" 17 414 419 "lib/gsl_siman.ml" 17 414 429
)
"lib/gsl_siman.ml" 35 907 940 "lib/gsl_siman.ml" 35 907 945
type(
  'a
)
ident(
  int_ref new_x "lib/gsl_siman.ml" 34 852 862 "lib/gsl_siman.ml" 34 852 867
)
"lib/gsl_siman.ml" 35 907 929 "lib/gsl_siman.ml" 35 907 945
call(
  stack
)
type(
  float
)
"lib/gsl_siman.ml" 36 949 955 "lib/gsl_siman.ml" 36 949 959
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/gsl_siman.ml" 36 949 960 "lib/gsl_siman.ml" 36 949 966
type(
  int ref
)
ident(
  int_ref n_eval "lib/gsl_siman.ml" 27 659 665 "lib/gsl_siman.ml" 27 659 671
)
"lib/gsl_siman.ml" 36 949 955 "lib/gsl_siman.ml" 36 949 966
type(
  unit
)
"lib/gsl_siman.ml" 37 969 978 "lib/gsl_siman.ml" 37 969 987
type(
  float
)
ident(
  int_ref new_energ "lib/gsl_siman.ml" 35 907 917 "lib/gsl_siman.ml" 35 907 926
)
"lib/gsl_siman.ml" 37 969 988 "lib/gsl_siman.ml" 37 969 990
type(
  float -> float -> bool
)
ident(
  ext_ref Pervasives.( <= )
)
"lib/gsl_siman.ml" 37 969 991 "lib/gsl_siman.ml" 37 969 992
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 37 969 992 "lib/gsl_siman.ml" 37 969 1002
type(
  float ref
)
ident(
  int_ref best_energ "lib/gsl_siman.ml" 20 469 475 "lib/gsl_siman.ml" 20 469 485
)
"lib/gsl_siman.ml" 37 969 991 "lib/gsl_siman.ml" 37 969 1002
type(
  float
)
"lib/gsl_siman.ml" 37 969 978 "lib/gsl_siman.ml" 37 969 1002
type(
  bool
)
"lib/gsl_siman.ml" 39 1020 1021 "lib/gsl_siman.ml" 39 1020 1031
type(
  float ref
)
ident(
  int_ref best_energ "lib/gsl_siman.ml" 20 469 475 "lib/gsl_siman.ml" 20 469 485
)
"lib/gsl_siman.ml" 39 1020 1032 "lib/gsl_siman.ml" 39 1020 1034
type(
  float ref -> float -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/gsl_siman.ml" 39 1020 1035 "lib/gsl_siman.ml" 39 1020 1044
type(
  float
)
ident(
  int_ref new_energ "lib/gsl_siman.ml" 35 907 917 "lib/gsl_siman.ml" 35 907 926
)
"lib/gsl_siman.ml" 39 1020 1021 "lib/gsl_siman.ml" 39 1020 1044
type(
  unit
)
"lib/gsl_siman.ml" 40 1047 1048 "lib/gsl_siman.ml" 40 1047 1054
type(
  'a ref
)
ident(
  int_ref best_x "lib/gsl_siman.ml" 21 514 520 "lib/gsl_siman.ml" 21 514 526
)
"lib/gsl_siman.ml" 40 1047 1055 "lib/gsl_siman.ml" 40 1047 1057
type(
  'a ref -> 'a -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/gsl_siman.ml" 40 1047 1058 "lib/gsl_siman.ml" 40 1047 1063
type(
  'a
)
ident(
  int_ref new_x "lib/gsl_siman.ml" 34 852 862 "lib/gsl_siman.ml" 34 852 867
)
"lib/gsl_siman.ml" 40 1047 1048 "lib/gsl_siman.ml" 40 1047 1063
type(
  unit
)
"lib/gsl_siman.ml" 38 1003 1014 "lib/gsl_siman.ml" 41 1064 1073
type(
  unit
)
"lib/gsl_siman.ml" 37 969 975 "lib/gsl_siman.ml" 41 1064 1073
type(
  unit
)
"lib/gsl_siman.ml" 43 1083 1092 "lib/gsl_siman.ml" 43 1083 1101
type(
  float
)
ident(
  int_ref new_energ "lib/gsl_siman.ml" 35 907 917 "lib/gsl_siman.ml" 35 907 926
)
"lib/gsl_siman.ml" 43 1083 1102 "lib/gsl_siman.ml" 43 1083 1103
type(
  float -> float -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"lib/gsl_siman.ml" 43 1083 1104 "lib/gsl_siman.ml" 43 1083 1105
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 43 1083 1105 "lib/gsl_siman.ml" 43 1083 1110
type(
  float ref
)
ident(
  int_ref energ "lib/gsl_siman.ml" 22 542 548 "lib/gsl_siman.ml" 22 542 553
)
"lib/gsl_siman.ml" 43 1083 1104 "lib/gsl_siman.ml" 43 1083 1110
type(
  float
)
"lib/gsl_siman.ml" 43 1083 1092 "lib/gsl_siman.ml" 43 1083 1110
type(
  bool
)
"lib/gsl_siman.ml" 43 1083 1111 "lib/gsl_siman.ml" 43 1083 1113
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"lib/gsl_siman.ml" 44 1114 1128 "lib/gsl_siman.ml" 44 1114 1131
type(
  float
)
ident(
  def lim "lib/gsl_siman.ml" 45 1189 1199 "lib/gsl_siman.ml" 45 1189 1224
)
"lib/gsl_siman.ml" 44 1114 1134 "lib/gsl_siman.ml" 44 1114 1137
type(
  float -> float
)
ident(
  ext_ref Pervasives.exp
)
"lib/gsl_siman.ml" 44 1114 1139 "lib/gsl_siman.ml" 44 1114 1142
type(
  float -> float
)
ident(
  ext_ref Pervasives.( ~-. )
)
"lib/gsl_siman.ml" 44 1114 1144 "lib/gsl_siman.ml" 44 1114 1153
type(
  float
)
ident(
  int_ref new_energ "lib/gsl_siman.ml" 35 907 917 "lib/gsl_siman.ml" 35 907 926
)
"lib/gsl_siman.ml" 44 1114 1154 "lib/gsl_siman.ml" 44 1114 1156
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( -. )
)
"lib/gsl_siman.ml" 44 1114 1157 "lib/gsl_siman.ml" 44 1114 1158
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 44 1114 1158 "lib/gsl_siman.ml" 44 1114 1163
type(
  float ref
)
ident(
  int_ref energ "lib/gsl_siman.ml" 22 542 548 "lib/gsl_siman.ml" 22 542 553
)
"lib/gsl_siman.ml" 44 1114 1157 "lib/gsl_siman.ml" 44 1114 1163
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1143 "lib/gsl_siman.ml" 44 1114 1164
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1139 "lib/gsl_siman.ml" 44 1114 1164
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1165 "lib/gsl_siman.ml" 44 1114 1167
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( /. )
)
"lib/gsl_siman.ml" 44 1114 1169 "lib/gsl_siman.ml" 44 1114 1170
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 44 1114 1170 "lib/gsl_siman.ml" 44 1114 1171
type(
  float ref
)
ident(
  int_ref t "lib/gsl_siman.ml" 25 601 607 "lib/gsl_siman.ml" 25 601 608
)
"lib/gsl_siman.ml" 44 1114 1169 "lib/gsl_siman.ml" 44 1114 1171
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1172 "lib/gsl_siman.ml" 44 1114 1174
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( *. )
)
"lib/gsl_siman.ml" 44 1114 1175 "lib/gsl_siman.ml" 44 1114 1181
type(
  params
)
ident(
  int_ref params "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
)
"lib/gsl_siman.ml" 44 1114 1175 "lib/gsl_siman.ml" 44 1114 1183
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1168 "lib/gsl_siman.ml" 44 1114 1184
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1138 "lib/gsl_siman.ml" 44 1114 1185
type(
  float
)
"lib/gsl_siman.ml" 44 1114 1134 "lib/gsl_siman.ml" 44 1114 1185
type(
  float
)
"lib/gsl_siman.ml" 45 1189 1199 "lib/gsl_siman.ml" 45 1189 1214
type(
  Gsl_rng.t -> float
)
ident(
  ext_ref Gsl_rng.uniform
)
"lib/gsl_siman.ml" 45 1189 1215 "lib/gsl_siman.ml" 45 1189 1218
type(
  Gsl_rng.t
)
ident(
  int_ref rng "lib/gsl_siman.ml" 16 393 403 "lib/gsl_siman.ml" 16 393 406
)
"lib/gsl_siman.ml" 45 1189 1199 "lib/gsl_siman.ml" 45 1189 1218
type(
  float
)
"lib/gsl_siman.ml" 45 1189 1219 "lib/gsl_siman.ml" 45 1189 1220
type(
  float -> float -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"lib/gsl_siman.ml" 45 1189 1221 "lib/gsl_siman.ml" 45 1189 1224
type(
  float
)
ident(
  int_ref lim "lib/gsl_siman.ml" 44 1114 1128 "lib/gsl_siman.ml" 44 1114 1131
)
"lib/gsl_siman.ml" 45 1189 1199 "lib/gsl_siman.ml" 45 1189 1224
type(
  bool
)
"lib/gsl_siman.ml" 44 1114 1122 "lib/gsl_siman.ml" 45 1189 1226
type(
  bool
)
"lib/gsl_siman.ml" 43 1083 1092 "lib/gsl_siman.ml" 45 1189 1226
type(
  bool
)
"lib/gsl_siman.ml" 47 1244 1245 "lib/gsl_siman.ml" 47 1244 1250
type(
  float ref
)
ident(
  int_ref energ "lib/gsl_siman.ml" 22 542 548 "lib/gsl_siman.ml" 22 542 553
)
"lib/gsl_siman.ml" 47 1244 1251 "lib/gsl_siman.ml" 47 1244 1253
type(
  float ref -> float -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/gsl_siman.ml" 47 1244 1254 "lib/gsl_siman.ml" 47 1244 1263
type(
  float
)
ident(
  int_ref new_energ "lib/gsl_siman.ml" 35 907 917 "lib/gsl_siman.ml" 35 907 926
)
"lib/gsl_siman.ml" 47 1244 1245 "lib/gsl_siman.ml" 47 1244 1263
type(
  unit
)
"lib/gsl_siman.ml" 48 1266 1267 "lib/gsl_siman.ml" 48 1266 1268
type(
  'a ref
)
ident(
  int_ref x "lib/gsl_siman.ml" 23 575 581 "lib/gsl_siman.ml" 23 575 582
)
"lib/gsl_siman.ml" 48 1266 1269 "lib/gsl_siman.ml" 48 1266 1271
type(
  'a ref -> 'a -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/gsl_siman.ml" 48 1266 1272 "lib/gsl_siman.ml" 48 1266 1277
type(
  'a
)
ident(
  int_ref new_x "lib/gsl_siman.ml" 34 852 862 "lib/gsl_siman.ml" 34 852 867
)
"lib/gsl_siman.ml" 48 1266 1267 "lib/gsl_siman.ml" 48 1266 1279
type(
  unit
)
"lib/gsl_siman.ml" 46 1227 1238 "lib/gsl_siman.ml" 49 1280 1289
type(
  unit
)
"lib/gsl_siman.ml" 43 1083 1089 "lib/gsl_siman.ml" 49 1280 1289
type(
  unit
)
"lib/gsl_siman.ml" 37 969 975 "lib/gsl_siman.ml" 49 1280 1289
type(
  unit
)
"lib/gsl_siman.ml" 36 949 955 "lib/gsl_siman.ml" 49 1280 1289
type(
  unit
)
"lib/gsl_siman.ml" 35 907 913 "lib/gsl_siman.ml" 49 1280 1289
type(
  unit
)
"lib/gsl_siman.ml" 34 852 858 "lib/gsl_siman.ml" 49 1280 1289
type(
  unit
)
"lib/gsl_siman.ml" 33 812 816 "lib/gsl_siman.ml" 50 1291 1299
type(
  unit
)
"lib/gsl_siman.ml" 52 1303 1310 "lib/gsl_siman.ml" 52 1303 1312
type(
  ('a -> unit) option -> bool
)
ident(
  ext_ref Gsl_misc.is
)
"lib/gsl_siman.ml" 52 1303 1313 "lib/gsl_siman.ml" 52 1303 1323
type(
  ('a -> unit) option
)
ident(
  int_ref print_func "lib/gsl_siman.ml" 18 441 446 "lib/gsl_siman.ml" 18 441 456
)
"lib/gsl_siman.ml" 52 1303 1310 "lib/gsl_siman.ml" 52 1303 1323
call(
  stack
)
type(
  bool
)
"lib/gsl_siman.ml" 54 1339 1345 "lib/gsl_siman.ml" 54 1339 1358
type(
  (int -> int -> float -> unit, out_channel, unit) format ->
  int -> int -> float -> unit
)
ident(
  ext_ref Printf.printf
)
"lib/gsl_siman.ml" 54 1339 1359 "lib/gsl_siman.ml" 54 1339 1376
type(
  (int -> int -> float -> unit, out_channel, unit) format
)
"lib/gsl_siman.ml" 54 1339 1377 "lib/gsl_siman.ml" 54 1339 1378
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 54 1339 1378 "lib/gsl_siman.ml" 54 1339 1384
type(
  int ref
)
ident(
  int_ref n_iter "lib/gsl_siman.ml" 26 635 641 "lib/gsl_siman.ml" 26 635 647
)
"lib/gsl_siman.ml" 54 1339 1377 "lib/gsl_siman.ml" 54 1339 1384
type(
  int
)
"lib/gsl_siman.ml" 54 1339 1385 "lib/gsl_siman.ml" 54 1339 1386
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 54 1339 1386 "lib/gsl_siman.ml" 54 1339 1392
type(
  int ref
)
ident(
  int_ref n_eval "lib/gsl_siman.ml" 27 659 665 "lib/gsl_siman.ml" 27 659 671
)
"lib/gsl_siman.ml" 54 1339 1385 "lib/gsl_siman.ml" 54 1339 1392
type(
  int
)
"lib/gsl_siman.ml" 54 1339 1393 "lib/gsl_siman.ml" 54 1339 1394
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 54 1339 1394 "lib/gsl_siman.ml" 54 1339 1395
type(
  float ref
)
ident(
  int_ref t "lib/gsl_siman.ml" 25 601 607 "lib/gsl_siman.ml" 25 601 608
)
"lib/gsl_siman.ml" 54 1339 1393 "lib/gsl_siman.ml" 54 1339 1395
type(
  float
)
"lib/gsl_siman.ml" 54 1339 1345 "lib/gsl_siman.ml" 54 1339 1395
call(
  stack
)
type(
  unit
)
"lib/gsl_siman.ml" 55 1398 1404 "lib/gsl_siman.ml" 55 1398 1413
type(
  ('a -> unit) option -> 'a -> unit
)
ident(
  ext_ref Gsl_misc.may_apply
)
"lib/gsl_siman.ml" 55 1398 1414 "lib/gsl_siman.ml" 55 1398 1424
type(
  ('a -> unit) option
)
ident(
  int_ref print_func "lib/gsl_siman.ml" 18 441 446 "lib/gsl_siman.ml" 18 441 456
)
"lib/gsl_siman.ml" 55 1398 1425 "lib/gsl_siman.ml" 55 1398 1426
type(
  'a ref -> 'a
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 55 1398 1426 "lib/gsl_siman.ml" 55 1398 1427
type(
  'a ref
)
ident(
  int_ref x "lib/gsl_siman.ml" 23 575 581 "lib/gsl_siman.ml" 23 575 582
)
"lib/gsl_siman.ml" 55 1398 1425 "lib/gsl_siman.ml" 55 1398 1427
type(
  'a
)
"lib/gsl_siman.ml" 55 1398 1404 "lib/gsl_siman.ml" 55 1398 1427
call(
  stack
)
type(
  unit
)
"lib/gsl_siman.ml" 56 1430 1436 "lib/gsl_siman.ml" 56 1430 1449
type(
  (float -> unit, out_channel, unit) format -> float -> unit
)
ident(
  ext_ref Printf.printf
)
"lib/gsl_siman.ml" 56 1430 1450 "lib/gsl_siman.ml" 56 1430 1460
type(
  (float -> unit, out_channel, unit) format
)
"lib/gsl_siman.ml" 56 1430 1461 "lib/gsl_siman.ml" 56 1430 1462
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 56 1430 1462 "lib/gsl_siman.ml" 56 1430 1467
type(
  float ref
)
ident(
  int_ref energ "lib/gsl_siman.ml" 22 542 548 "lib/gsl_siman.ml" 22 542 553
)
"lib/gsl_siman.ml" 56 1430 1461 "lib/gsl_siman.ml" 56 1430 1467
type(
  float
)
"lib/gsl_siman.ml" 56 1430 1436 "lib/gsl_siman.ml" 56 1430 1467
call(
  stack
)
type(
  unit
)
"lib/gsl_siman.ml" 55 1398 1404 "lib/gsl_siman.ml" 56 1430 1467
type(
  unit
)
"lib/gsl_siman.ml" 53 1324 1333 "lib/gsl_siman.ml" 57 1468 1475
type(
  unit
)
"lib/gsl_siman.ml" 52 1303 1307 "lib/gsl_siman.ml" 57 1468 1475
type(
  unit
)
"lib/gsl_siman.ml" 59 1485 1489 "lib/gsl_siman.ml" 59 1485 1490
type(
  float ref
)
ident(
  int_ref t "lib/gsl_siman.ml" 25 601 607 "lib/gsl_siman.ml" 25 601 608
)
"lib/gsl_siman.ml" 59 1485 1491 "lib/gsl_siman.ml" 59 1485 1493
type(
  float ref -> float -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/gsl_siman.ml" 59 1485 1494 "lib/gsl_siman.ml" 59 1485 1495
type(
  float ref -> float
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 59 1485 1495 "lib/gsl_siman.ml" 59 1485 1496
type(
  float ref
)
ident(
  int_ref t "lib/gsl_siman.ml" 25 601 607 "lib/gsl_siman.ml" 25 601 608
)
"lib/gsl_siman.ml" 59 1485 1494 "lib/gsl_siman.ml" 59 1485 1496
type(
  float
)
"lib/gsl_siman.ml" 59 1485 1497 "lib/gsl_siman.ml" 59 1485 1499
type(
  float -> float -> float
)
ident(
  ext_ref Pervasives.( /. )
)
"lib/gsl_siman.ml" 59 1485 1500 "lib/gsl_siman.ml" 59 1485 1506
type(
  params
)
ident(
  int_ref params "lib/gsl_siman.ml" 18 441 457 "lib/gsl_siman.ml" 18 441 463
)
"lib/gsl_siman.ml" 59 1485 1500 "lib/gsl_siman.ml" 59 1485 1511
type(
  float
)
"lib/gsl_siman.ml" 59 1485 1494 "lib/gsl_siman.ml" 59 1485 1511
type(
  float
)
"lib/gsl_siman.ml" 59 1485 1489 "lib/gsl_siman.ml" 59 1485 1511
type(
  unit
)
"lib/gsl_siman.ml" 60 1514 1518 "lib/gsl_siman.ml" 60 1514 1522
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/gsl_siman.ml" 60 1514 1523 "lib/gsl_siman.ml" 60 1514 1529
type(
  int ref
)
ident(
  int_ref n_iter "lib/gsl_siman.ml" 26 635 641 "lib/gsl_siman.ml" 26 635 647
)
"lib/gsl_siman.ml" 60 1514 1518 "lib/gsl_siman.ml" 60 1514 1531
type(
  unit
)
"lib/gsl_siman.ml" 59 1485 1489 "lib/gsl_siman.ml" 60 1514 1531
type(
  unit
)
"lib/gsl_siman.ml" 52 1303 1307 "lib/gsl_siman.ml" 60 1514 1531
type(
  unit
)
"lib/gsl_siman.ml" 33 812 816 "lib/gsl_siman.ml" 60 1514 1531
type(
  unit
)
"lib/gsl_siman.ml" 32 782 784 "lib/gsl_siman.ml" 61 1532 1538
type(
  unit
)
"lib/gsl_siman.ml" 62 1541 1543 "lib/gsl_siman.ml" 62 1541 1544
type(
  'a ref -> 'a
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/gsl_siman.ml" 62 1541 1544 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a ref
)
ident(
  int_ref best_x "lib/gsl_siman.ml" 21 514 520 "lib/gsl_siman.ml" 21 514 526
)
"lib/gsl_siman.ml" 62 1541 1543 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 32 782 784 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 29 684 686 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 27 659 661 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 26 635 637 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 25 601 603 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 23 575 577 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 22 542 544 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 21 514 516 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)
"lib/gsl_siman.ml" 20 469 471 "lib/gsl_siman.ml" 62 1541 1550
type(
  'a
)