blob: 7181b937fd6c0ef3676f2e9b1d7e3c42c98a9cda [file] [log] [blame]
package main
import (
"./a"
)
func main() {
_ = a.OrdOption(a.Given[int]())
}