package lascar

You can search for identifiers within the package.

in-package search v0.2.0

Module `Utils.Stringable`Source

String-convertible types

Sourcemodule type T = sig ... end

Sourcemodule Pair (M1 : T) (M2 : T) : sig ... end

Sourcemodule Triplet (M1 : T) (M2 : T) (M3 : T) : sig ... end