package herdtools7

  1. Overview
  2. Docs

Infix utils.

val (~$) : int -> AST.literal

~$i is an integer literal that contains i.

val (!$) : int -> AST.expr

An alias for expr_of_int.

OCaml

Innovation. Community. Security.