Pretty-printing for SurfacePlusCal, used by -d-style AST dumps.

@[implicit_reducible]

instance SurfacePlusCal.instToFormatRef {β : Type} [Std.ToFormat β] : Std.ToFormat (Ref β)

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance SurfacePlusCal.instToFormatMulticastFilter {α β : Type} [Std.ToFormat α] [Std.ToFormat β] : Std.ToFormat (MulticastFilter α β)

Equations

• One or more equations did not get rendered due to their size.

partial def SurfacePlusCal.Statement.pretty {α β : Type} [Std.ToFormat α] [Std.ToFormat β] (S : Statement α β) : Std.Format

@[implicit_reducible]

instance SurfacePlusCal.instToFormatStatement {α β : Type} [Std.ToFormat α] [Std.ToFormat β] : Std.ToFormat (Statement α β)

Equations

• SurfacePlusCal.instToFormatStatement = { format := SurfacePlusCal.Statement.pretty }

@[implicit_reducible]

instance SurfacePlusCal.instToFormatDeclarations {α β : Type} [Std.ToFormat α] [Std.ToFormat β] : Std.ToFormat (Declarations α β)

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance SurfacePlusCal.instToFormatProcess {α β : Type} [Std.ToFormat α] [Std.ToFormat β] : Std.ToFormat (Process α β)

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance SurfacePlusCal.instToFormatAlgorithm {α β : Type} [Std.ToFormat α] [Std.ToFormat β] : Std.ToFormat (Algorithm α β)

Equations

• One or more equations did not get rendered due to their size.