Core.int_raw: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 344-350 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=344&end_line=350

import Base

# How an integer is written: a non-negative as RNum, a negative as RNeg.
def int_raw(i: Int) -> Raw:
  match i:
    case IPos{n}:
      RNum{n}
    case INeg{n}:
      RNeg{n}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Int
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Raw