package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Layout.BoxModel`Source

Sourcetype abs_kind =

| Prod
| Lam

Sourcemodule Id : sig ... end

Sourcemodule Variable : sig ... end

Sourcemodule Binder : sig ... end

Sourcetype t =

| Variable of t Variable.t
(*
Variable
*)
| Constant of string
(*
Constant
*)
| Identifier of t Id.t
(*
Identifier
*)
| Sort of string list
(*
Sort
*)
| App of {
1. fn : t;
2. impl : t list;
3. argl : t list;
}
(*
Application box
*)
| Cast of t option * t
(*
Cast box
*)
| Abs of {
1. kind : abs_kind;
2. binderl : t Binder.t list;
3. v : t;
}
(*
Abstraction
*)
| Let of {
1. lhs : t;
2. rhs : t;
3. typ : t option;
4. v : t;
}
(*
Let
*)
| Notation of {
1. key : string;
2. args : t list;
3. pretty : t list;
4. raw : t;
}
(*
Notation
*)
| Fixpoint of t * t

Output Layout Box model, designed to be embedded in DOM almost directly, and to replace Pp.t

Sourcemodule Render : sig ... end

Simple wrapping in <div>