package KaSim

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 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 read_t : Yojson.Safe.lexer_state -> Lexing.lexbuf -> t

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