Safe HaskellNone

MAlonzo.Code.Agda.Builtin.Unit

Documentation

type T_'8868'_6 = () Source #

pattern C_tt_8 :: () Source #

cover_'8868'_6 :: () -> () Source #