package lambdapi

  1. Overview
  2. Docs

Translate the parser-level AST to Dedukti.

val raw_ident : string Lplib.Base.pp
val param : Parsing.Syntax.p_term option -> string -> Parsing.Syntax.p_ident option Lplib.Base.pp
val params : string -> Parsing.Syntax.p_params Lplib.Base.pp
val params_list : string -> Parsing.Syntax.p_params list Lplib.Base.pp
val bool : bool Lplib.Base.pp
val assertion : (bool * Parsing.Syntax.p_assertion) Lplib.Base.pp
val partition_modifiers : Parsing.Syntax.p_modifier list -> modifiers
val print : Parsing.Syntax.ast -> unit
OCaml

Innovation. Community. Security.