package nuscr

You can search for identifiers within the package.

in-package search v0.2.0

A tool to manipulate and validate Scribble-style multiparty protocols

Install

Dune Dependency

nuscr.dev Changelog Edit opam file Versions (5)

Authors

Maintainers

F

Francisco Ferreira

Sources

nuscr-2.1.0.tbz

sha256=4798916862412a0ac4721f63b77c243d7d7327c8ff2d18d379eb2f4202d43e4d

sha512=8475f03a5e81fbde01fb6ddd90f2c07d8a327d5d71301a8da6e169c5c1c8a8f94f528296b2c2d2be7abfbe10fceee048834926abbf5e739a62274f904a8f0869

doc/nuscr.lib/Nuscrlib/Loc/index.html

Module `Nuscrlib.Loc`

type t

val ghost_loc : t

val sexp_of_t : 'a -> Base.Sexp.t

val show : t -> Base.string

val create : (Lexing.position * Lexing.position) -> t

type 'a located = {

loc : t;
value : 'a;

}

val pp_located : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a located ->
  Ppx_deriving_runtime.unit

val show_located : 
  (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) ->
  'a located ->
  Ppx_deriving_runtime.string

val sexp_of_located : ('a -> Sexplib0.Sexp.t) -> 'a located -> Sexplib0.Sexp.t

val equal_located : 
  ('a -> 'a -> Ppx_deriving_runtime.bool) ->
  'a located ->
  'a located ->
  Ppx_deriving_runtime.bool

val compare_located : 
  ('a -> 'a -> Ppx_deriving_runtime.int) ->
  'a located ->
  'a located ->
  Ppx_deriving_runtime.int

val merge : t -> t -> t