Searched defs:Optical (Results 1 – 5 of 5) sorted by relevance
584 type Optical p q f s t a b = p a (f b) -> q s (f t) type589 type Optical' p q f s a = Optical p q f s s a a type
589 type Optical p q f s t a b = p a (f b) -> q s (f t) type594 type Optical' p q f s a = Optical p q f s s a a function
589 type Optical p q f s t a b = p a (f b) -> q s (f t) function594 type Optical' p q f s a = Optical p q f s s a a function
589 type Optical p q f s t a b = p a (f b) -> q s (f t) function594 type Optical' p q f s a = Optical p q f s s a a type