Module types 

Auto-generated module

🤖 Generated with SplitRS

Structs

CSharpBackend

C# code generation backend for OxiLean.

CSharpCatchClause

A catch clause in a try/catch block.

CSharpClass

A C# class declaration.

CSharpConstructor

A C# constructor.

CSharpEnum

A C# enum declaration.

CSharpField

A C# field declaration.

CSharpInterface

A C# interface declaration.

CSharpMethod

A C# method (member function).

CSharpModule

A complete C# compilation unit (one .cs file).

CSharpProperty

A C# auto-property or expression-body property.

CSharpRecord

A C# record (C# 9+). public record Foo(int X, string Y);

CSharpSwitchArm

One arm in a switch expression.

CSharpSwitchCase

A case inside a switch statement.

Enums

CSharpExpr

C# expression AST for code generation.

CSharpInterpolationPart

Part of a string interpolation $"...".

CSharpLit

C# literal values.

CSharpStmt

C# statement AST.

CSharpType

C# type representation for type-directed code generation.

CSharpVisibility

C# access modifier.