Zenn
Open2

test

igarashiigarashi
type Pair:
    x: i32,
    y: i32 ;;
type Option<T>:
    | Some(T)
    | None ;;
type Node:
    val: i32,
    left: &Node,
    right: &Node ;;

こういうことできるのかなぁ。（型を調べるのがめんどくさいときに使えそう）

type A:
   a: `f(123)` ;; // f(123)の値の型
igarashiigarashi
type Pair:
    x: i32,
    y: i32 ;;
type Option<T>:
    | Some(T)
    | None ;;
type Node:
    val: i32,
    left: &Node,
    right: &Node ;;

こういうことできるのかなぁ。（型を調べるのがめんどくさいときに使えそう）

type A:
   a: `f(123)` ;; // f(123)の値の型