package facile

  1. Overview
  2. Docs

Module Facile.ArithSource

Sourcetype t
Sourceval i2e : int -> t
Sourceval fd2e : Var.Fd.t -> t
Sourceval (+~) : t -> t -> t
Sourceval (*~) : t -> t -> t
Sourceval (-~) : t -> t -> t
Sourceval (/~) : t -> t -> t
Sourceval (**~) : t -> int -> t
Sourceval (%~) : t -> t -> t
Sourceval abs : t -> t
Sourceval sum : t array -> t
Sourceval sum_fd : Var.Fd.t array -> t
Sourceval scalprod : int array -> t array -> t
Sourceval scalprod_fd : int array -> Var.Fd.t array -> t
Sourceval prod : t array -> t
Sourceval prod_fd : Var.Fd.t array -> t
Sourceval fprint : out_channel -> t -> unit
Sourceval eval : t -> int
Sourceval min_of_expr : t -> int
Sourceval max_of_expr : t -> int
Sourceval min_max_of_expr : t -> int * int
Sourceval (<=~) : t -> t -> Cstr.t
Sourceval (<~) : t -> t -> Cstr.t
Sourceval (>~) : t -> t -> Cstr.t
Sourceval (=~) : t -> t -> Cstr.t
Sourceval (<>~) : t -> t -> Cstr.t
Sourceval (>=~) : t -> t -> Cstr.t
Sourceval e2fd : t -> Var.Fd.t
Sourceval (<=~~) : t -> t -> t
Sourceval (<~~) : t -> t -> t
Sourceval (>~~) : t -> t -> t
Sourceval (=~~) : t -> t -> t
Sourceval (<>~~) : t -> t -> t
Sourceval (>=~~) : t -> t -> t
Sourceval shift : Var.Fd.t -> int -> Var.Fd.t
Sourceval get_boolsum_threshold : unit -> int
Sourceval set_boolsum_threshold : int -> unit