code: def make_nat_value(prelude, n):
      """The inverse of count(): Given a non-negative Python integer,
      constructs a ConstructorValue representing that value as a nat.
      """
      _, z, s = prelude.mod.get_type("nat")
      if n == 0:
          return ConstructorValue(z.tag, [], z)
      return ConstructorValue(
          s.tag, [make_nat_value(prelude, n - 1)], s
      )
  
imports: from tvm.relay.backend.interpreter import ConstructorValue
label_desc: Use image node_id 3 for calling a global function with example usage: make_nat_value(prelude, n) and returns: ConstructorValue, ConstructorValue