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
type !'a t = | Agent of 'a| Freed of 'a Instantiation.site| Linked of 'a Instantiation.site * 'a Instantiation.site| NegativeWhatEver of 'a Instantiation.site| PositiveInternalized of 'a * Instantiation.site_name * Instantiation.internal_state| NegativeInternalized of 'a Instantiation.site
val rename :
int ->
Renaming.t ->
Instantiation.abstract t ->
Instantiation.abstract tval concretize :
(Matching.t * int Mods.IntMap.t) ->
Instantiation.abstract t ->
Instantiation.concrete tval print :
?sigs:Signature.s ->
Format.formatter ->
Instantiation.abstract t ->
unitval negative_transformations_of_actions :
Signature.s ->
(Instantiation.concrete Instantiation.site ->
Instantiation.concrete Instantiation.site option) ->
Instantiation.concrete Instantiation.action list ->
Instantiation.concrete t listval positive_transformations_of_actions :
Signature.s ->
Instantiation.concrete Instantiation.site list ->
Instantiation.concrete Instantiation.action list ->
Instantiation.concrete t list