Up – Package index » p4spectec » Library p4spectec.lang » Lang » Pl » Render » FallthroughModule Render.Fallthrough p4spectec README Library builtin Library dangling Library dynamic Library dynamic_al Library dynamic_pl Library dynamic_runner Library dynamic_sl Library error_runtime Library inst Library instr Library interp_al Library interp_common Library interp_pl Library interp_sl Library p4 Library p4spectec.backend_boot Library p4spectec.backend_sim Library p4spectec.backend_splice Library p4spectec.backend_testgen_neg Library p4spectec.cache Library p4spectec.coverage Library p4spectec.domain Library p4spectec.frontend Library p4spectec.interface Library p4spectec.interp Library p4spectec.lang Library p4spectec.pass Library p4spectec.runner Library p4spectec.runtime Library p4spectec.stf Library p4spectec.util Library prose Library sim Library spectec Library static Library testgen_neg Library type Library value Sources val anchor_of_group : string -> string -> anchor val anchor_of_else : string -> anchor val prose_of_fallthrough :
anchor :anchor -> text :string -> Lang__Pl__Render__.Adoc.prose val prose_of_fallthrough_link :
ctx_fallthrough :ctx -> ('a Lang__Pl__.Ast.instr' Lang__Pl__.Ast.inote ) Util.Source.note_phrase Annot.t -> Lang__Pl__Render__.Adoc.prose