Module `Al.Print`

module Mixfix = Domain.Mixfix

val string_of_num : [< `Int of Bigint.t | `Nat of Bigint.t ] -> string

val string_of_text : 'a -> 'a

val string_of_varid : ('a, 'b, 'c) Util.Source.info -> 'a

val string_of_typid : ('a, 'b, 'c) Util.Source.info -> 'a

val string_of_relid : ('a, 'b, 'c) Util.Source.info -> 'a

val string_of_rulegroupid : ('a, 'b, 'c) Util.Source.info -> 'a

val string_of_rulepathid : ('a, 'b, 'c) Util.Source.info -> 'a

val string_of_defid : (string, 'a, 'b) Util.Source.info -> string

val string_of_atom : 
  (Domain.Atom.t, 'a, 'b) Util.Source.info ->
  Domain.Atom.upid

val string_of_atoms : (Domain.Atom.t, 'a, 'b) Util.Source.info list -> string

val string_of_mixop : 'a Lang.Il.Print.Mixfix.t -> string

val string_of_iter : Lang__Il__.Ast.iter -> string

val string_of_var : 
  ((string, 'a, 'b) Util.Source.info * 'c * Lang__Il__.Ast.iter list) ->
  string

val string_of_typ : 
  (Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info ->
  string

val string_of_typs : 
  string ->
  (Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info list ->
  string

val string_of_nottyp : 
  ((Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info
     Lang.Il.Print.Mixfix.t,
    unit,
    Util.Source.region)
    Util.Source.info ->
  string

val string_of_deftyp : 
  (Lang__Il__.Ast.deftyp', 'a, 'b) Util.Source.info ->
  string

val string_of_typfield : 
  (Domain.Atom.t Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase) ->
  string

val string_of_typfields : 
  string ->
  (Domain.Atom.t Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase)
    list ->
  string

val string_of_typcase : 
  (Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase
   * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase list)
       Util.Source.phrase
   * El.hint list) ->
  string

val string_of_typcases : 
  string ->
  (Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase
   * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase list)
       Util.Source.phrase
   * El.hint list)
    list ->
  string

val string_of_value : 
  ?short:??? ->
  ?level:??? ->
  (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote, Util.Source.region)
    Util.Source.info ->
  string

val string_of_unop : [ Xl.Bool.unop | Xl.Num.unop ] -> string

val string_of_binop : [ Xl.Bool.binop | Xl.Num.binop ] -> string

val string_of_cmpop : [ Xl.Bool.cmpop | Xl.Num.cmpop ] -> string

val string_of_exp : 
  (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
    Util.Source.info ->
  string

val string_of_exps : 
  string ->
  (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
    Util.Source.info
    list ->
  string

val string_of_notexp : 
  (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase
    Domain.Mixfix.t ->
  string

val string_of_iterexp : 
  (Lang__Il__.Ast.iter
   * (string Util.Source.phrase
      * Lang__Il__.Ast.typ' Util.Source.phrase
      * Lang__Il__.Ast.iter list)
       list) ->
  string

val string_of_iterexps : 
  (Lang__Il__.Ast.iter
   * (string Util.Source.phrase
      * Lang__Il__.Ast.typ' Util.Source.phrase
      * Lang__Il__.Ast.iter list)
       list)
    list ->
  string

val string_of_pattern : Lang__Il__.Ast.pattern -> string

val string_of_path : 
  (Lang__Il__.Ast.path', Lang__Il__.Ast.typ') Util.Source.note_phrase ->
  Domain.Atom.upid

val string_of_param : 
  (Lang__Il__.Ast.param', unit, Util.Source.region) Util.Source.info ->
  string

val string_of_params : Lang__Il__.Ast.param' Util.Source.phrase list -> string

val string_of_tparam : 
  (string, unit, Util.Source.region) Util.Source.info ->
  string

val string_of_tparams : string Util.Source.phrase list -> string

val string_of_arg : 
  (Lang__Il__.Ast.arg', unit, Util.Source.region) Util.Source.info ->
  string

val string_of_args : Lang__Il__.Ast.arg' Util.Source.phrase list -> string

val string_of_targ : 
  (Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info ->
  string

val string_of_targs : Lang__Il__.Ast.typ' Util.Source.phrase list -> string

val string_of_prem : 
  (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info ->
  string

val string_of_prems : 
  ?level:??? ->
  (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list ->
  string

val string_of_ruleinput : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  (Il.exp', Il.typ', Util.Source.region) Util.Source.info list ->
  string

val string_of_ruleoutput : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  (Il.exp', Il.typ', Util.Source.region) Util.Source.info list ->
  string

val string_of_rulematch : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((Il.exp', Il.typ', Util.Source.region) Util.Source.info list
   * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list) ->
  string

val string_of_rulepath : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((string, 'd, 'e) Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list
   * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list) ->
  string

val string_of_rulepaths : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((string, 'd, 'e) Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list
   * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list)
    list ->
  string

val string_of_rulegroup : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((string, 'd, 'e) Util.Source.info
   * ((Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list)
   * ((string, 'f, 'g) Util.Source.info
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list)
       list,
    'h,
    'i)
    Util.Source.info ->
  string

val string_of_rulegroups : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((string, 'd, 'e) Util.Source.info
   * ((Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list)
   * ((string, 'f, 'g) Util.Source.info
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list)
       list,
    'h,
    'i)
    Util.Source.info
    list ->
  string

val string_of_elsegroup : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((string, 'd, 'e) Util.Source.info
   * ((Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list)
   * ((string, 'f, 'g) Util.Source.info
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list),
    'h,
    'i)
    Util.Source.info ->
  string

val string_of_elsegroup_opt : 
  ('a Mixfix.t, 'b, 'c) Util.Source.info ->
  int list ->
  ((string, 'd, 'e) Util.Source.info
   * ((Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list)
   * ((string, 'f, 'g) Util.Source.info
      * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list
      * (Il.exp', Il.typ', Util.Source.region) Util.Source.info list),
    'h,
    'i)
    Util.Source.info
    option ->
  string

val string_of_clause : 
  int ->
  (Lang__Il__.Ast.arg' Util.Source.phrase list
   * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
       Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list,
    'a,
    'b)
    Util.Source.info ->
  string

val string_of_clauses : 
  (Lang__Il__.Ast.arg' Util.Source.phrase list
   * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
       Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list,
    'a,
    'b)
    Util.Source.info
    list ->
  string

val string_of_elseclause : 
  (Lang__Il__.Ast.arg' Util.Source.phrase list
   * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
       Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list,
    'a,
    'b)
    Util.Source.info ->
  string

val string_of_elseclause_opt : 
  (Lang__Il__.Ast.arg' Util.Source.phrase list
   * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
       Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list,
    'a,
    'b)
    Util.Source.info
    option ->
  string

val string_of_tablerow : 
  ((Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
     Util.Source.info
     list
   * Lang__Il__.Ast.arg' Util.Source.phrase list
   * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
       Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list,
    'a,
    'b)
    Util.Source.info ->
  string

val string_of_tablerows : 
  ((Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
     Util.Source.info
     list
   * Lang__Il__.Ast.arg' Util.Source.phrase list
   * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region)
       Util.Source.info
   * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list,
    'a,
    'b)
    Util.Source.info
    list ->
  string

val string_of_hint : El.hint -> string

val string_of_hints : El.hint list -> string

val string_of_def : (Lang__Al__.Ast.def', 'a, 'b) Util.Source.info -> string

val string_of_defs : 
  (Lang__Al__.Ast.def', 'a, 'b) Util.Source.info list ->
  string

val string_of_spec : 
  (Lang__Al__.Ast.def', 'a, 'b) Util.Source.info list ->
  string

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/Al/Print/index.html

Module `Al.Print`

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/Al/Print/index.html

Module Al.Print

dune-project
Dependency

Module `Al.Print`