Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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