package strymonas-pure

  1. Overview
  2. Docs

Parameters

module S : sig ... end

Signature

type e = S.e
val etyp : S.e Raw.tbase
type t = {
  1. prev : e Raw.mut;
  2. curr : e Raw.exp;
}
val size : int
val make_stream : ?padding:bool -> e Raw.exp Raw.stream -> t Raw.stream
val reduce_gen : ('a Raw.exp -> 'a Raw.exp -> 'a Raw.exp) -> (int Raw.exp -> e Raw.exp -> 'a Raw.exp) -> t -> ('a Raw.exp -> 'w Raw.stm) -> 'w Raw.stm
val reduce : (e Raw.exp -> e Raw.exp -> e Raw.exp) -> t -> (e Raw.exp -> 'w Raw.stm) -> 'w Raw.stm
val dot : 'a Raw.tbase -> ('b -> 'a Raw.exp) -> 'b array -> (e Raw.exp -> e Raw.exp -> e Raw.exp) -> ('a Raw.exp -> e Raw.exp -> e Raw.exp) -> t -> (e Raw.exp -> 'w Raw.stm) -> 'w Raw.stm
OCaml

Innovation. Community. Security.