module PS: sig .. end
Pasting schemes.
type Lang.ps
A pasting scheme.
val to_string : Lang.ps -> string
String representation.
val marker : Lang.ps -> Lang.var * Lang.expr
Dangling variable.
val free_vars : Lang.ps -> Lang.var list
Free variables.
val make : (Lang.var * Lang.expr) list -> t
Create from a context.
val height : Lang.ps -> int
Height of a pasting scheme.
val dim : Lang.ps -> int
Dimension of a pasting scheme.
val source : int -> Lang.ps -> Lang.ps
Source of a pasting scheme.
val target : int -> Lang.ps -> Lang.ps
Target of a pasting scheme.
val exists : (Lang.var * Lang.expr -> bool) -> Lang.ps -> bool
val map : (Lang.var * Lang.expr -> Lang.var * Lang.expr) -> Lang.ps -> Lang.ps
val fold_left : ('a -> Lang.var * Lang.expr -> 'a) -> 'a -> Lang.ps -> 'a
val fold_left2 : ('a -> Lang.var * Lang.expr -> Lang.var * Lang.expr -> 'a) ->
'a -> Lang.ps -> Lang.ps -> 'a
val fold_right : (Lang.var * Lang.expr -> 'a -> 'a) -> Lang.ps -> 'a -> 'a