package lrgrep

  1. Overview
  2. Docs
Analyse the stack of a Menhir-generated LR parser using regular expressions

Install

dune-project
 Dependency

Authors

Maintainers

Sources

lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55

doc/fix/Fix/module-type-INJECTION/index.html

Module type Fix.INJECTIONSource

An injection of a type into a type.

type t

The source type of the injection.

type u

The destination type of the injection.

val encode : t -> u

An injection of t into u is an injective function of type t -> u. Because encode is injective, the value encode x can be thought of as the identity of the object x.