class Printf.IsChar (c : Type u) : Type u

• toChar : c → Char
• fromChar : Char → c

instance Printf.instIsCharChar : IsChar Char

Equations

• Printf.instIsCharChar = { toChar := id, fromChar := id }