Require Import ssreflect ssrfun ssrbool.

Check @in1W.