1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
(* $Id: glMisc.mli,v 1.2 1999/11/15 09:55:09 garrigue Exp $ *)
(* Getting information *)
val get_string : [`vendor|`renderer|`version|`extensions] -> string
(* Clipping planes *)
type equation = float * float * float * float
val clip_plane : plane:int -> equation -> unit
(* Speed hint *)
type hint_target =
[`fog|`line_smooth|`perspective_correction|`point_smooth|`polygon_smooth]
val hint : hint_target -> [`fastest|`nicest|`dont_care] -> unit
(* Names *)
val init_names : unit -> unit
val load_name : int -> unit
val push_name : int -> unit
val pop_name : unit -> unit
type attrib =
[ `accum_buffer|`color_buffer|`current|`depth_buffer|`enable|`eval|`fog
| `hint|`lighting|`line|`list|`pixel_mode|`point|`polygon|`polygon_stipple
| `scissor|`stencil_buffer|`texture|`transform|`viewport ]
val push_attrib : attrib list -> unit
val pop_attrib : unit -> unit
val render_mode : [`feedback|`render|`select] -> int
val pass_through : float -> unit
val select_buffer : [`uint] Raw.t -> unit
|
