1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val qiden : Common.Path.t -> string -> p_term
qiden p s
builds a P_Iden
"@p.s".
val iden : string -> p_term
iden s
builds a P_Iden
"@s".
val var : Core.Term.tvar -> p_term
var v
builds a P_Iden
from Bindlib.name_of v
.
val patt0 : string -> p_term
patt0 s
builds a P_Patt
"$s".
val wild : p_term_aux Common.Pos.loc
wild
builds a P_Wild
.