package p4spectec

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

Module Il.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_ruleid : ('a, 'b, 'c) Util.Source.info -> 'a
val string_of_rulegroupid : ('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 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 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_typorigin : (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase list, unit, Util.Source.region) Util.Source.info -> 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_notval : ?level:??? -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase Domain.Mixfix.t -> 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_iterprem : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> string
val string_of_iterprems : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> string
val string_of_rule : ((string, 'a, 'b) Util.Source.info * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase Domain.Mixfix.t * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list, 'c, 'd) Util.Source.info -> string
val string_of_rules : ((string, 'a, 'b) Util.Source.info * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase Domain.Mixfix.t * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list, 'c, 'd) Util.Source.info list -> string
val string_of_rulegroup : ((string, 'a, 'b) Util.Source.info * ((string, 'c, 'd) Util.Source.info * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase Domain.Mixfix.t * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list, 'e, 'f) Util.Source.info list, 'g, 'h) Util.Source.info -> string
val string_of_rulegroups : ((string, 'a, 'b) Util.Source.info * ((string, 'c, 'd) Util.Source.info * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase Domain.Mixfix.t * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list, 'e, 'f) Util.Source.info list, 'g, 'h) Util.Source.info list -> string
val string_of_elsegroup : ((string, 'a, 'b) Util.Source.info * ((string, 'c, 'd) Util.Source.info * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase Domain.Mixfix.t * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list, 'e, 'f) Util.Source.info, 'g, 'h) Util.Source.info -> string
val string_of_elsegroup_opt : ((string, 'a, 'b) Util.Source.info * ((string, 'c, 'd) Util.Source.info * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase Domain.Mixfix.t * (Lang__Il__.Ast.prem', unit, Util.Source.region) Util.Source.info list, 'e, 'f) Util.Source.info, 'g, 'h) 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.arg' Util.Source.phrase list * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region) Util.Source.info, 'a, 'b) Util.Source.info -> string
val string_of_tablerows : (Lang__Il__.Ast.arg' Util.Source.phrase list * (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ', Util.Source.region) Util.Source.info, '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__Il__.Ast.def', 'a, 'b) Util.Source.info -> string
val string_of_defs : (Lang__Il__.Ast.def', 'a, 'b) Util.Source.info list -> string
val string_of_spec : (Lang__Il__.Ast.def', 'a, 'b) Util.Source.info list -> string