pub suberror XdrError {
  Invalid(Int, String)
}

pub(all) enum AcceptStatus {
  Success(Array[Byte])
  ProgramUnavailable
  ProgramMismatch(UInt, UInt)
  ProcedureUnavailable
  GarbageArguments
  SystemError
}

pub(all) struct Arm {
  labels : Array[Int64]
  ty : Type
}

pub(all) struct AuthSys {
  stamp : UInt
  machine : String
  uid : UInt
  gid : UInt
  groups : Array[UInt]
}

pub(all) struct Field {
  name : String
  ty : Type
}

pub(all) struct Limits {
  max_bytes : Int
  max_items : Int
  max_depth : Int
  max_schema_tokens : Int
}

pub(all) struct OpaqueAuth {
  flavor : UInt
  body : Array[Byte]
}

pub struct Parser {
  tokens : Array[Token]
  cursor : Int
  schema : Schema
}

pub(all) struct Quadruple {
  high : UInt64
  low : UInt64
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum QuadrupleClass {
  Zero
  Subnormal
  Normal
  Infinite
  QuietNaN
  SignalingNaN
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Reader {
  data : Array[Byte]
  pos : Int
  limits : Limits
}

pub struct RecordDecoder {
  limits : Limits
  record : Array[Byte]
  marker : UInt
  header_bytes : Int
  body_left : Int
  last : Bool
  fragments : Int
  poisoned : Bool
}

pub(all) enum RejectStatus {
  RpcMismatch(UInt, UInt)
  AuthError(UInt)
}

pub(all) enum ReplyBody {
  Accepted(OpaqueAuth, AcceptStatus)
  Rejected(RejectStatus)
}

pub(all) struct RpcCall {
  xid : UInt
  program : UInt
  version : UInt
  procedure : UInt
  credential : OpaqueAuth
  verifier : OpaqueAuth
  arguments : Array[Byte]
}

pub(all) struct RpcReply {
  xid : UInt
  body : ReplyBody
}

pub struct Schema {
  types : Map[String, Type]
  constants : Map[String, 
@moonbitlang/core/bigint.BigInt
BigInt]
  constant_defs : Map[String, Bool]
  limits : Limits
}

pub(all) struct Token {
  text : String
  offset : Int
}

pub(all) enum Type {
  TVoid
  TInt
  TUInt
  THyper
  TUHyper
  TBool
  TFloat
  TDouble
  TQuadruple
  TString(UInt)
  TOpaque(UInt, Bool)
  TArray(Type, UInt, Bool)
  TOptional(Type)
  TRef(String)
  TEnum(Array[(String, Int)])
  TStruct(Array[Field])
  TUnion(Type, Array[Arm], Type?)
}

pub(all) enum Value {
  VVoid
  VInt(Int)
  VUInt(UInt)
  VHyper(Int64)
  VUHyper(UInt64)
  VBool(Bool)
  VFloat(Float)
  VDouble(Double)
  VQuadruple(Quadruple)
  VString(String)
  VOpaque(Array[Byte])
  VArray(Array[Value])
  VOptional(Value?)
  VEnum(Int)
  VStruct(Array[(String, Value)])
  VUnion(Int64, Value)
}

pub struct Writer {
  data : Array[Byte]
  limits : Limits
}

fn decode(schema : Schema, type_name : String, bytes : Array[Byte]) -> Value raise XdrError

fn decode_call(bytes : Array[Byte], limits? : Limits) -> RpcCall raise XdrError

fn decode_reply(bytes : Array[Byte], limits? : Limits) -> RpcReply raise XdrError

fn encode(schema : Schema, type_name : String, value : Value) -> Array[Byte] raise XdrError

fn encode_call(call : RpcCall, limits? : Limits) -> Array[Byte] raise XdrError

fn encode_reply(reply : RpcReply, limits? : Limits) -> Array[Byte] raise XdrError

fn fragment_record(record : Array[Byte], fragment_size : Int, limits? : Limits) -> Array[Byte] raise XdrError

fn from_hex(text : String, limits? : Limits) -> Array[Byte] raise XdrError

fn from_json(schema : Schema, type_name : String, json : Json) -> Value raise XdrError

fn ident_continue(c : Char) -> Bool

fn ident_start(c : Char) -> Bool

fn parse_constant_number(text : String, offset? : Int) -> Int raise XdrError

fn parse_integer_constant(text : String, offset? : Int) -> 
@moonbitlang/core/bigint.BigInt
BigInt raise XdrError

fn parse_schema(source : String, limits? : Limits) -> Schema raise XdrError

fn parse_signed_decimal(text : String) -> Int64 raise XdrError

fn parse_unsigned_decimal(text : String) -> UInt64 raise XdrError

fn to_hex(bytes : Array[Byte]) -> String

fn to_json(schema : Schema, type_name : String, value : Value) -> Json raise XdrError

fn tokenize(source : String, limits? : Limits) -> Array[Token] raise XdrError

fn union_arm(arms : Array[Arm], fallback : Type?, tag : Int64) -> Type raise XdrError

fn validate_tag(tag : Type, value : Int64) -> Unit raise XdrError