package strymonas-pure

  1. Overview
  2. Docs

Parameters

module C : cde

Signature

type 'a exp = 'a C.exp
type 'a stm = 'a C.stm
type 'a mut = 'a C.mut
type (!_, !_) desc =
  1. | Single : ('a exp, 'a mut) desc
  2. | Tuple : ('a0 exp * 'b exp, 'a0 mut * 'b mut) desc
val newref : ('c, 'cref) desc -> 'c -> ('cref -> 'w stm) -> 'w stm
val dref : ('c, 'cref) desc -> 'cref -> 'c
val set : ('c, 'cref) desc -> 'cref -> 'c -> unit stm
OCaml

Innovation. Community. Security.