Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val strict : bool ref
val dec : int ref
val print_limit : int ref
val denominator_of_list :
(Big_int.big_int * Big_int.big_int * string) list ->
Big_int.big_int
val to_constraint :
(int -> string) ->
(int -> Big_int.big_int) ->
int ->
string
val to_frame : (int -> string) -> (int -> Big_int.big_int) -> int -> string
val to_expr : (int -> string) -> (int -> Big_int.big_int) -> int -> string
val print_list :
Format.formatter ->
(unit, Format.formatter, unit) format ->
(unit, Format.formatter, unit) format ->
(unit, Format.formatter, unit) format ->
(Format.formatter -> 'a -> unit) ->
'a list ->
unit