examples/tests/test_inline_nested.makkai


1
2
3
4
5
6
7
8
9

let signature Outer = theory {
    Inner :: theory { F :: Set }
}

let instance my_outer :: Outer = {
    .Inner = { .F = (Nat :: Set) }
}

let set MyF = set-of(my_outer .Inner .F)