Module Micromega_plugin.Sos_libSource

Sourceval o : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
Sourceval implode : string list -> string
Sourceval explode : string -> string list
Sourceval funpow : int -> ('a -> 'a) -> 'a -> 'a
Sourceval tryfind : ('a -> 'b) -> 'a list -> 'b
Sourcetype ('a, 'b) func =
  1. | Empty
  2. | Leaf of int * ('a * 'b) list
  3. | Branch of int * int * ('a, 'b) func * ('a, 'b) func
Sourceval undefined : ('a, 'b) func
Sourceval is_undefined : ('a, 'b) func -> bool
Sourceval (|->) : 'a -> 'b -> ('a, 'b) func -> ('a, 'b) func
Sourceval (|=>) : 'a -> 'b -> ('a, 'b) func
Sourceval choose : ('a, 'b) func -> 'a * 'b
Sourceval combine : ('a -> 'a -> 'a) -> ('a -> bool) -> ('b, 'a) func -> ('b, 'a) func -> ('b, 'a) func
Sourceval (--) : int -> int -> int list
Sourceval tryapplyd : ('a, 'b) func -> 'a -> 'b -> 'b
Sourceval apply : ('a, 'b) func -> 'a -> 'b
Sourceval foldl : ('a -> 'b -> 'c -> 'a) -> 'a -> ('b, 'c) func -> 'a
Sourceval foldr : ('a -> 'b -> 'c -> 'c) -> ('a, 'b) func -> 'c -> 'c
Sourceval mapf : ('a -> 'b) -> ('c, 'a) func -> ('c, 'b) func
Sourceval undefine : 'a -> ('a, 'b) func -> ('a, 'b) func
Sourceval dom : ('a, 'b) func -> 'a list
Sourceval graph : ('a, 'b) func -> ('a * 'b) list
Sourceval union : 'a list -> 'a list -> 'a list
Sourceval subtract : 'a list -> 'a list -> 'a list
Sourceval sort : ('a -> 'a -> bool) -> 'a list -> 'a list
Sourceval setify : 'a list -> 'a list
Sourceval increasing : ('a -> 'b) -> 'a -> 'a -> bool
Sourceval allpairs : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
Sourceval end_itlist : ('a -> 'a -> 'a) -> 'a list -> 'a
Sourceval (>>) : ('a -> 'b * 'c) -> ('b -> 'd) -> 'a -> 'd * 'c
Sourceval (++) : ('a -> 'b * 'c) -> ('c -> 'd * 'e) -> 'a -> ('b * 'd) * 'e
Sourceval a : 'a -> 'a list -> 'a * 'a list
Sourceval many : ('a -> 'b * 'a) -> 'a -> 'b list * 'a
Sourceval some : ('a -> bool) -> 'a list -> 'a * 'a list
Sourceval possibly : ('a -> 'b * 'a) -> 'a -> 'b list * 'a
Sourceval isspace : string -> bool
Sourceval parser_or : ('a -> 'b) -> ('a -> 'b) -> 'a -> 'b
Sourceval isnum : string -> bool
Sourceval atleast : int -> ('a -> 'b * 'a) -> 'a -> 'b list * 'a
Sourceval listof : ('a -> 'b * 'c) -> ('c -> 'd * 'a) -> string -> 'a -> 'b list * 'c
Sourceval temp_path : string
Sourceval string_of_file : string -> string
Sourceval file_of_string : string -> string -> unit
Sourceval deepen_until : int -> (int -> 'a) -> int -> 'a
Sourceexception TooDeep