Textual (infer.Textuallib.Textual)

module F = Stdlib.Format

module Hashtbl = Stdlib.Hashtbl

module Lang : sig ... end

module Location : sig ... end

module type NAME = sig ... end

module ProcName : NAME

module VarName : sig ... end

module FieldName : NAME

module NodeName : NAME

module BaseTypeName : sig ... end

module TypeName : sig ... end

module QualifiedProcName : sig ... end

type qualified_fieldname = {

}

val equal_qualified_fieldname : 
  qualified_fieldname ->
  qualified_fieldname ->
  bool

val pp_qualified_fieldname : F.formatter -> qualified_fieldname -> unit

module Attr : sig ... end

module Typ : sig ... end

module Ident : sig ... end

module Const : sig ... end

module ProcSig : sig ... end

module ProcDecl : sig ... end

module FieldDecl : sig ... end

module Exp : sig ... end

module BoolExp : sig ... end

module Instr : sig ... end

module Terminator : sig ... end

module Node : sig ... end

module Global : sig ... end

module ProcDesc : sig ... end

module Body : sig ... end

module Struct : sig ... end

module SsaVerification : sig ... end

module SourceFile : sig ... end

module Module : sig ... end

type transform_error = {

}

val pp_transform_error : SourceFile.t -> F.formatter -> transform_error -> unit

val seq_fallible_fold : 
  ?errors:transform_error list ->
  init:'a ->
  f:('a -> 'b -> 'a) ->
  'b Stdlib.Seq.t ->
  'a * transform_error list

exception TextualTransformError of transform_error list

exception SpecialSyntaxError of Location.t * string