[go: up one dir, main page]

[][src]Type Definition fixed::types::extra::U0

type U0 = UTerm;