package wax-lib

  1. Overview
  2. Docs
Libraries for Wax, a Rust-like syntax for WebAssembly

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

wax-0.1.0.tbz
sha256=41b580846af8d41bdf6c3f005f62e38feda3e60fe2e9e4aa440db34ce515a153
sha512=4b3a181fcc7d743194a8647260870fb5190770066a197bcc48104c2b77fd40c643228b795c2bcd6b29a120820e969eb42a37a9bcec98b3f608d13f152d9f6579

doc/wax-lib.theo/Theo/Make/Syntax/index.html

Module Make.SyntaxSource

Syntax for convenient infix operators. Open locally with let open Theo.Syntax in ...

Sourceval bool : bool Var.t -> t
Sourceval (&&) : t -> t -> t
Sourceval (||) : t -> t -> t
Sourceval not : t -> t
Sourceval (==>) : t -> t -> t

Implication

Sourceval (<=>) : t -> t -> t

Biconditional (iff)

Sourceval (<+>) : t -> t -> t

Exclusive OR (xor)