Lens

This is the lens introduction

Type definitions

Lens

def Lens s t a b : Type := ...

Function definitions

lens

lens takes a getter and a setter function, and returns a Lens.

def lens (get: s → a) (set: s → b → t): Lens s t a b := ...

def random