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 TypeName : sig ... end

module QualifiedProcName : sig ... end

type qualified_fieldname = {

}

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 Global : 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 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

exception TextualTransformError of transform_error list

exception SpecialSyntaxError of Location.t * string