package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Pl.Render

module F = Format
module Block : sig ... end
module Fallthrough : sig ... end
val prose_of_list : Lang__Pl__Render__.Adoc.prose list -> Lang__Pl__Render__.Adoc.prose
val alternate : ?caps:??? -> Hints.Alter.t -> (string -> string) -> ('a -> Lang__Pl__Render__.Adoc.prose) -> 'a list -> Lang__Pl__Render__.Adoc.prose
val code_of_mixfix : atom:(Sl.atom -> string) -> Domain.Mixop.t -> Lang__Pl__Render__.Adoc.code list -> Lang__Pl__Render__.Adoc.code
val string_of_num : Sl.num -> string
val string_of_text : Sl.text -> string
val string_of_varid : Sl.id -> string
val string_of_relid : Sl.id -> string
val string_of_defid : ?link:??? -> Sl.id -> string
val code_of_varid : Sl.id -> Lang__Pl__Render__.Adoc.code
val string_of_atom : Sl.atom -> string
val code_of_atom : Sl.atom -> Lang__Pl__Render__.Adoc.code
val code_of_mixop : Sl.mixop -> Lang__Pl__Render__.Adoc.code
val code_of_iter : Sl.iter -> Lang__Pl__Render__.Adoc.code
val string_of_iter : Sl.iter -> string
val code_of_iterexp : Sl.iterexp -> Lang__Pl__Render__.Adoc.code
val code_of_var : Sl.var -> Lang__Pl__Render__.Adoc.code
val prose_of_in_itervar : Sl.iter -> Sl.var -> Lang__Pl__Render__.Adoc.prose
val prose_of_in_itervars : Sl.iter -> Sl.var list -> Lang__Pl__Render__.Adoc.prose
val prose_of_out_itervars : Sl.iter -> Sl.var list -> Lang__Pl__Render__.Adoc.prose
val string_of_typ : Sl.typ -> string
val code_of_typ : Sl.typ -> Lang__Pl__Render__.Adoc.code
val tid_of_typ : Sl.typ' -> Sl.id option
val string_of_unop : Sl.unop -> string
val string_of_binop : Sl.binop -> string
val string_of_cmpop : Sl.cmpop -> string
val code_of_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_exps : ?sep:??? -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.code
val code_of_notexp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t Domain.Mixfix.t -> Lang__Pl__Render__.Adoc.code
val code_of_bool_exp : bool -> Lang__Pl__Render__.Adoc.code
val code_of_num_exp : Sl.num -> Lang__Pl__Render__.Adoc.code
val code_of_text_exp : Sl.text -> Lang__Pl__Render__.Adoc.code
val code_of_var_exp : Sl.id -> Lang__Pl__Render__.Adoc.code
val code_of_un_exp : Sl.unop -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_bin_exp : Sl.binop -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_cmp_exp : Sl.cmpop -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_upcast_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_downcast_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_sub_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.typ -> Lang__Pl__Render__.Adoc.code
val code_of_match_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.pattern -> Lang__Pl__Render__.Adoc.code
val code_of_tuple_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.code
val code_of_case_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t Domain.Mixfix.t -> Lang__Pl__Render__.Adoc.code
val code_of_str_exp : (Sl.atom * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t) list -> Lang__Pl__Render__.Adoc.code
val code_of_opt_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t option -> Lang__Pl__Render__.Adoc.code
val code_of_list_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.code
val code_of_cons_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_cat_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_mem_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_len_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_dot_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.atom -> Lang__Pl__Render__.Adoc.code
val code_of_idx_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_slice_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_upd_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.path', Sl.typ') Util.Source.note_phrase -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.code
val code_of_call_exp : Sl.id -> Sl.targ list -> Lang__Pl__.Ast.arg' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.code
val code_of_iter_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.iterexp -> Lang__Pl__Render__.Adoc.code
val prose_of_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_exps : ?sep:??? -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.prose
val prose_of_bool_exp : bool -> Lang__Pl__Render__.Adoc.prose
val prose_of_num_exp : Sl.num -> Lang__Pl__Render__.Adoc.prose
val prose_of_text_exp : Sl.text -> Lang__Pl__Render__.Adoc.prose
val prose_of_var_exp : Sl.id -> Lang__Pl__Render__.Adoc.prose
val prose_of_negated_exp_opt : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose option
val prose_of_un_exp : Sl.unop -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_bin_exp : Sl.binop -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_cmp_exp : Sl.cmpop -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_upcast_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_downcast_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_sub_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.typ -> Lang__Pl__Render__.Adoc.prose
val prose_of_match_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.pattern -> Lang__Pl__Render__.Adoc.prose
val prose_of_tuple_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.prose
val prose_of_case_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t Domain.Mixfix.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_str_exp : (Sl.atom * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t) list -> Lang__Pl__Render__.Adoc.prose
val prose_of_opt_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t option -> Lang__Pl__Render__.Adoc.prose
val prose_of_list_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.prose
val prose_of_cons_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_cat_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_mem_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_len_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_dot_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.atom -> Lang__Pl__Render__.Adoc.prose
val prose_of_idx_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_slice_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_upd_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.path', Sl.typ') Util.Source.note_phrase -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose
val prose_of_call_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.id -> Lang__Pl__.Ast.arg' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.prose
val prose_of_iter_exp : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.iterexp -> Lang__Pl__Render__.Adoc.prose
val code_of_pattern : Sl.pattern -> Lang__Pl__Render__.Adoc.code
val code_of_path : (Lang__Pl__.Ast.path', Sl.typ') Util.Source.note_phrase -> Lang__Pl__Render__.Adoc.code
val code_of_param : Lang__Pl__.Ast.param' Util.Source.phrase -> Lang__Pl__Render__.Adoc.code
val code_of_params : Lang__Pl__.Ast.param' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.code
val prose_of_param : Lang__Pl__.Ast.param' Util.Source.phrase -> Lang__Pl__Render__.Adoc.prose
val prose_of_params : Lang__Pl__.Ast.param' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.prose
val string_of_targs : Sl.targ list -> string
val code_of_arg : Lang__Pl__.Ast.arg' Util.Source.phrase -> Lang__Pl__Render__.Adoc.code
val code_of_args : Lang__Pl__.Ast.arg' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.code
val prose_of_arg : Lang__Pl__.Ast.arg' Util.Source.phrase -> Lang__Pl__Render__.Adoc.prose
val prose_of_guard : (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__.Ast.guard -> Lang__Pl__Render__.Adoc.prose
type rendered =
  1. | Inline of Lang__Pl__Render__.Adoc.prose
  2. | InlineGoto of Lang__Pl__Render__.Adoc.prose
  3. | Nested of Lang__Pl__Render__.Adoc.block
type 'instr_tier render_instr_tier = level:int -> ctx_fallthrough:Fallthrough.ctx -> singleton:bool -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> 'instr_tier -> rendered
val compose : block_head:Lang__Pl__Render__.Adoc.block option -> singleton:bool -> rendered -> Lang__Pl__Render__.Adoc.block
val render_instr : ?level:??? -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.block
val render_instrs : ?level:??? -> ?block_head:??? -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.block
val render_elseblock : ?anchor:??? -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option -> string
val prose_of_iterexp_suffix : Sl.iterexp list -> Lang__Pl__Render__.Adoc.prose
val prose_of_iterinstr_suffix : Sl.iterinstr list -> Lang__Pl__Render__.Adoc.prose
val render_iterinstrs : level:int -> prose_fallthrough:Lang__Pl__Render__.Adoc.prose -> Sl.iterinstr list -> (int -> Lang__Pl__Render__.Adoc.block) -> Lang__Pl__Render__.Adoc.block
val render_if_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.iterexp list -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.block
val render_hold_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> Annot.hints -> Sl.id -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t Domain.Mixfix.t -> Sl.iterexp list -> 'instr_tier Lang__Pl__.Ast.holdcase -> Lang__Pl__Render__.Adoc.block
val render_case_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.guard * ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) list -> Sl.dangle -> Lang__Pl__Render__.Adoc.block
val prose_of_group_dispatch : Sl.id -> Sl.id -> Lang__Pl__Render__.Adoc.prose
val render_group_instr_dispatch : level:int -> Sl.id -> Sl.id -> Lang__Pl__Render__.Adoc.block
val render_let_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Sl.iterinstr list -> Lang__Pl__Render__.Adoc.block
val render_rule_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> ('a Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> Annot.hints -> Sl.id -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t Domain.Mixfix.t -> Hints.Input.t -> Sl.iterinstr list -> Lang__Pl__Render__.Adoc.block
val prose_of_result : Annot.hints -> Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.prose
val render_result_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> ('a Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> Annot.hints -> Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.block
val render_return_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> ('a Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.block
val render_debug_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.block
val render_destruct_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (string option * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t) list -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.block
val render_check_let_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.block
val render_option_get_instr : level:int -> ctx_fallthrough:Fallthrough.ctx -> 'instr_tier render_instr_tier -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t -> ('instr_tier Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.block
val lift_synthesized_exp : Sl.exp -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t
val prose_of_rel_title_math : Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.prose
val render_rel_title_block : Annot.hints -> Sl.id -> Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> Lang__Pl__Render__.Adoc.block
val render_rel_title_adoc : Annot.hints -> Sl.id -> Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> string
val render_extern_rel_def_block : Annot.hints -> (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list) -> Lang__Pl__Render__.Adoc.block
val render_extern_rel_def : Annot.hints -> (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list) -> string
val render_block_arms : level:int -> ctx_fallthrough:Fallthrough.ctx -> (ctx_fallthrough:Fallthrough.ctx -> head:Lang__Pl__Render__.Adoc.block -> 'arm -> Lang__Pl__Render__.Adoc.block) -> 'arm list -> Lang__Pl__Render__.Adoc.block
val render_instr_group : Lang__Pl__.Ast.instr_group render_instr_tier
val render_instr_dispatch : Lang__Pl__.Ast.instr_dispatch render_instr_tier
val render_instr_dispatch_inline : level:int -> ctx_fallthrough:Fallthrough.ctx -> singleton:bool -> (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t -> Lang__Pl__.Ast.instr_dispatch -> rendered
val render_rulegroup : Annot.hints -> Sl.id -> Sl.id -> Sl.rel_signature -> (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list -> (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list -> string
val render_defined_rel_def_dispatch : (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> string
val render_defined_rel_def_block : Annot.hints -> (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> Lang__Pl__Render__.Adoc.block
val render_defined_rel_def : Annot.hints -> (Sl.id * Sl.rel_signature * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_dispatch Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> string
val render_func_title_block : Annot.hints -> Sl.id -> Sl.tparam list -> Lang__Pl__.Ast.param' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.block
val render_func_title : Annot.hints -> Sl.id -> Sl.tparam list -> Lang__Pl__.Ast.param' Util.Source.phrase list -> string
val render_func_header_block : Annot.hints -> Sl.id -> Sl.tparam list -> Lang__Pl__.Ast.param' Util.Source.phrase list -> Lang__Pl__Render__.Adoc.block
val render_func_header : Annot.hints -> Sl.id -> Sl.tparam list -> Lang__Pl__.Ast.param' Util.Source.phrase list -> string
val render_extern_func_def : Annot.hints -> (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ) -> string
val render_builtin_func_def : Annot.hints -> (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ) -> string
val render_table_func_def_block : Annot.hints -> (Sl.id * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ * ((Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) list) -> Lang__Pl__Render__.Adoc.block
val render_table_func_def : Annot.hints -> (Sl.id * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ * ((Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.exp', Sl.typ') Util.Source.note_phrase Annot.t * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list) list) -> string
val render_defined_func_def_block : Annot.hints -> (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> Lang__Pl__Render__.Adoc.block
val render_defined_func_def : Annot.hints -> (Sl.id * Sl.tparam list * Lang__Pl__.Ast.param' Util.Source.phrase list * Sl.typ * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list * (Lang__Pl__.Ast.instr_group Lang__Pl__.Ast.instr', Lang__Pl__.Ast.inote) Util.Source.note_phrase Annot.t list option) -> string
val render_def : Lang__Pl__.Ast.def' Util.Source.phrase Annot.t -> string option
val render_defs : Lang__Pl__.Ast.def' Util.Source.phrase Annot.t list -> string
val render_spec : Lang__Pl__.Ast.def' Util.Source.phrase Annot.t list -> string