type Attributes = 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]

using @moonbitlang/parser/syntax { type Constant }

using @moonbitlang/parser/syntax { type ConstrDecl }

using @moonbitlang/parser/syntax { type ConstrId }

using @moonbitlang/parser/syntax { type ConstrName }

using @moonbitlang/parser/syntax { type ConstrParam }

using @moonbitlang/parser/syntax { type ErrorType }

using @moonbitlang/parser/syntax { type FieldDecl }

using @moonbitlang/parser/syntax { type FieldName }

using @moonbitlang/parser/syntax { type Label }

using @moonbitlang/parser/syntax { type Parameter }

using @moonbitlang/parser/syntax { type LongIdent as QualifiedIdent }

using @moonbitlang/parser/syntax { type Type }

using @moonbitlang/parser/syntax { type TypeDesc }

using @moonbitlang/parser/syntax { type Visibility }

pub(all) enum AliasSig {
  TypeAlias(name~ : Name, type_params~ : 
@moonbitlang/core/list.List
List[TypeParamNoConstraints], type_~ : 
@moonbitlang/parser/syntax.Type
Type, vis~ : 
@moonbitlang/parser/syntax.Visibility
Visibility, attrs~ : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute])
  Using(pkg~ : Name, target~ : Name, name~ : Name?, kind~ : 
@moonbitlang/parser/syntax.UsingKind
UsingKind, attrs~ : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute])
  FuncAlias(name~ : Name, type_name~ : Name, attrs~ : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute])
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ConstSig {
  name : Name
  type_ : 
@moonbitlang/parser/syntax.Type
Type
  value : 
@moonbitlang/parser/syntax.Constant
Constant
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FuncSig {
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
  type_name : MethodSelfType?
  name : Name
  params : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Parameter
Parameter]
  return_ : (
@moonbitlang/parser/syntax.Type
Type, 
@moonbitlang/parser/syntax.ErrorType
ErrorType)
  type_params : 
@moonbitlang/core/list.List
List[TypeParamWithConstraints]
  is_async : 
@moonbitlang/lexer/basic.Location
Location?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ImplSig {
  type_params : 
@moonbitlang/core/list.List
List[TypeParamWithConstraints]
  type_ : 
@moonbitlang/parser/syntax.Type
Type
  trait_name : QualifiedName
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Mbti {
  package_name : String
  imports : 
@moonbitlang/core/list.List
List[PackageImport]
  sigs : 
@moonbitlang/core/list.List
List[(Sig, 
@moonbitlang/lexer/basic.Location
Location)]
  loc : 
@moonbitlang/lexer/basic.Location
Location
  base_pos : 
@moonbitlang/lexer/basic.BasePos
BasePos
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MethodSelfType {
  name : String
  is_object : Bool
  loc : 
@moonbitlang/lexer/basic.Location
Location
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Name {
  name : String
  loc : 
@moonbitlang/lexer/basic.Location
Location
} derive(ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PackageImport {
  name : String
  alias_ : String?
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct QualifiedName {
  name : 
@moonbitlang/parser/syntax.LongIdent
LongIdent
  loc : 
@moonbitlang/lexer/basic.Location
Location
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Sig {
  Func(FuncSig)
  Type(TypeSig)
  Alias(AliasSig)
  Trait(TraitSig)
  Impl(ImplSig)
  Const(ConstSig)
  Value(ValueSig)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TraitMethodSig {
  name : Name
  type_params : 
@moonbitlang/core/list.List
List[TypeParamWithConstraints]
  params : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Parameter
Parameter]
  is_async : 
@moonbitlang/lexer/basic.Location
Location?
  has_default : Bool
  return_ : (
@moonbitlang/parser/syntax.Type
Type, 
@moonbitlang/parser/syntax.ErrorType
ErrorType)
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TraitSig {
  name : Name
  super_traits : 
@moonbitlang/core/list.List
List[QualifiedName]
  methods : 
@moonbitlang/core/list.List
List[TraitMethodSig]
  vis : 
@moonbitlang/parser/syntax.Visibility
Visibility
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum TypeDefinition {
  Abstract
  Newtype(
@moonbitlang/parser/syntax.Type
Type)
  TupleStruct(
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.Type
Type])
  Error(
@moonbitlang/parser/syntax.ExceptionDecl
ExceptionDecl)
  ExtensibleEnum(
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.ConstrDecl
ConstrDecl])
  ExtendEnum(target~ : QualifiedName, constructors~ : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.ConstrDecl
ConstrDecl])
  Variant(
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.ConstrDecl
ConstrDecl])
  Record(fields~ : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/syntax.FieldDecl
FieldDecl])
  Alias(
@moonbitlang/parser/syntax.Type
Type)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum TypeParamNoConstraints {
  Name(Name)
  Underscore(
@moonbitlang/lexer/basic.Location
Location)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TypeParamWithConstraints {
  name : Name
  constraints : 
@moonbitlang/core/list.List
List[QualifiedName]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TypeSig {
  name : Name
  type_params : 
@moonbitlang/core/list.List
List[TypeParamNoConstraints]
  components : TypeDefinition
  vis : 
@moonbitlang/parser/syntax.Visibility
Visibility
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
  derives : 
@moonbitlang/core/list.List
List[QualifiedName]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ValueSig {
  name : Name
  type_ : 
@moonbitlang/parser/syntax.Type
Type
  attrs : 
@moonbitlang/core/list.List
List[
@moonbitlang/parser/attribute.Attribute
Attribute]
} derive(
@moonbitlang/core/debug.Debug
Debug)