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 =

| Inline of Lang__Pl__Render__.Adoc.prose
| InlineGoto of Lang__Pl__Render__.Adoc.prose
| 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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/Pl/Render/index.html

Module `Pl.Render`

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/Pl/Render/index.html

Module Pl.Render

dune-project
Dependency

Module `Pl.Render`