Unparse (p.p4spectec.0.1.2.doc.p4.P4.Unparse)

module Atom = Domain.Atom

module Mixfix = Domain.Mixfix

module Mixop = Domain.Mixop

module Value = Runtime.Value

module F = Stdlib.Format

module HEnv : sig ... end

Sourceval hintid : string

Sourceval hints_of_typcase : HEnv.t -> Domain.Lib.TId.t -> Lang.Il.typcase -> HEnv.t

val hints_of_typcases : 
  HEnv.t ->
  Domain.Lib.TId.t ->
  Lang.Il.typcase list ->
  HEnv.t

Sourceval hints_of_deftyp : HEnv.t -> Domain.Lib.TId.t -> Lang.Il.deftyp -> HEnv.t

Sourceval hints_of_def_al : HEnv.t -> Lang.Al.def -> HEnv.t

Sourceval hints_of_def_sl : HEnv.t -> Lang.Sl.def -> HEnv.t

Sourceval hints_of_def_pl : HEnv.t -> Lang.Pl.def -> HEnv.t

Sourceval hints_of_spec_al : Lang.Al.spec -> HEnv.t

Sourceval hints_of_spec_sl : Lang.Sl.spec -> HEnv.t

Sourceval hints_of_spec_pl : Lang.Pl.spec -> HEnv.t

Sourceval pp_num : F.formatter -> Lang.Il.num -> unit

Sourceval pp_atom : F.formatter -> Lang.Il.atom -> unit

Sourceval pp_atoms : F.formatter -> Lang.Il.atom list -> unit

Sourceval pp_value : HEnv.t -> F.formatter -> Value.t -> unit

Sourceval pp_text_v : F.formatter -> Value.t -> unit

val pp_case_v : 
  Lang.Il.vnote ->
  HEnv.t ->
  F.formatter ->
  Lang.Il.valuecase ->
  unit

val pp_hint_case_v : 
  HEnv.t ->
  Lang.Hints.Alter.t ->
  F.formatter ->
  Value.t list ->
  unit

Sourceval pp_default_case_v : HEnv.t -> F.formatter -> Lang.Il.valuecase -> unit

Sourceval pp_opt_v : HEnv.t -> F.formatter -> Value.t -> unit

Sourceval pp_list_v : HEnv.t -> F.formatter -> Value.t -> unit