package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | F of float
  2. | I of int
  3. | I64 of Int64.t
val compare : t -> t -> int
val is_greater : t -> t -> bool
val is_smaller : t -> t -> bool
val is_equal : t -> t -> bool
val add : t -> t -> t
val sub : t -> t -> t
val mult : t -> t -> t
val internal_div : t -> t -> t
val rem : t -> t -> t
val pow : t -> t -> t
val min : t -> t -> t
val max : t -> t -> t
val succ : t -> t
val pred : t -> t
val neg : t -> t
val to_float : t -> float option
val to_int : t -> int
val zero : t
val is_zero : t -> bool
val one : t
val is_strictly_positive : t -> bool
val print : Format.formatter -> t -> unit
val pretty_print : Format.formatter -> t -> unit
val print_option : Format.formatter -> t -> unit
val iteri : (t -> 'a -> 'a) -> 'a -> t -> 'a
val maybe_iteri : (t -> 'a -> 'a option) -> 'a -> t -> 'a
val to_string : t -> string
val of_string : string -> t
val to_yojson : t -> Yojson.Basic.json
val of_yojson : Yojson.Basic.json -> t
val write_t : Bi_outbuf.t -> t -> unit
val string_of_t : ?len:int -> t -> string
val t_of_string : string -> t
val of_un_alg_op : Operator.un_alg_op -> t -> t
val of_bin_alg_op : Operator.bin_alg_op -> t -> t -> t
val of_compare_op : Operator.compare_op -> t -> t -> bool