To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package KaSim
-
KappaLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val rename : int -> Renaming.t -> t -> tval concretize : (matching * int Mods.IntMap.t) -> t -> int * intval get_type : t -> intval get_id : t -> intval is_fresh : t -> boolval print : ?sigs:Signature.s -> Format.formatter -> t -> unitval print_site : ?sigs:Signature.s -> t -> Format.formatter -> int -> unitval print_internal :
?sigs:Signature.s ->
t ->
int ->
Format.formatter ->
int ->
unitval to_yojson : t -> Yojson.Basic.jsonval of_yojson : Yojson.Basic.json -> t