strymonas-pure 2.1.1 · OCaml Package

type 'a exp

type 'a tbase

val tbool : bool tbase

val tint : int tbase

type 'a stm

val letl : 'a exp -> ('a exp -> 'w stm) -> 'w stm

val glet : 'a exp -> 'a exp

val seq : unit stm -> 'a stm -> 'a stm

val unit : unit stm

val ret : 'a exp -> 'a stm

val bool : bool -> bool exp

val not : bool exp -> bool exp

val (&&) : bool exp -> bool exp -> bool exp

val (||) : bool exp -> bool exp -> bool exp

val int : int -> int exp

val (+) : int exp -> int exp -> int exp

val (-) : int exp -> int exp -> int exp

val (mod) : int exp -> int exp -> int exp

val (=) : int exp -> int exp -> bool exp

val (<) : int exp -> int exp -> bool exp

val (>) : int exp -> int exp -> bool exp

val (<=) : int exp -> int exp -> bool exp

val (>=) : int exp -> int exp -> bool exp

val imin : int exp -> int exp -> int exp

val cond : bool exp -> 'a exp -> 'a exp -> 'a exp

val if_ : bool exp -> unit stm -> unit stm -> unit stm

val if1 : bool exp -> unit stm -> unit stm

val for_ : 
  int exp ->
  upe:int exp ->
  ?guard:bool exp ->
  ?step:int exp ->
  (int exp -> unit stm) ->
  unit stm

val while_ : bool exp -> unit stm -> unit stm

val cloop : 
  ('a -> unit stm) ->
  bool exp option ->
  (('a -> unit stm) -> unit stm) ->
  unit stm

type 'a mut

val newref : 'a exp -> ('a mut -> 'w stm) -> 'w stm

val newuref : 'a exp -> ('a mut -> 'w stm) -> 'w stm

val dref : 'a mut -> 'a exp

val (:=) : 'a mut -> 'a exp -> unit stm

val incr : int mut -> unit stm

val decr : int mut -> unit stm

type 'a arr

val array_get' : 'a arr -> int exp -> 'a exp

val array_get : 'a arr -> int exp -> ('a exp -> 'w stm) -> 'w stm

val array_len : 'a arr -> int exp

val array_set : 'a arr -> int exp -> 'a exp -> unit stm

val new_array : 'a tbase -> 'a exp array -> ('a arr -> 'w stm) -> 'w stm

val new_static_array : 
  'a tbase ->
  ('b -> 'a exp) ->
  'b array ->
  ('a arr -> 'w stm) ->
  'w stm

val new_uarray : 'a tbase -> int -> ('a arr -> 'w stm) -> 'w stm

val is_static : 'a exp -> bool

val is_fully_dynamic : 'a exp -> bool

val (@.) : unit stm -> 'a stm -> 'a stm

val seqs : unit stm list -> unit stm

val tbase_zero : 'a tbase -> 'a exp

val imax : int exp -> int exp -> int exp

val (*) : int exp -> int exp -> int exp

val (/) : int exp -> int exp -> int exp

val (~-) : int exp -> int exp

val logand : int exp -> int exp -> int exp

val print_int : int exp -> unit stm

type !'sg ff = private {

invoke : 'sg;

}

module type num = sig ... end

module type flonum = sig ... end

module type cmplxnum = sig ... end

module F64 : sig ... end

module F32 : sig ... end

module C32 : sig ... end

module I64 : sig ... end

package strymonas-pure