Safe HaskellNone

MAlonzo.Code.Relation.Binary.Construct.Constant.Core

Documentation

d_Const_20 :: T_Level_14 -> T_Level_14 -> () -> T_Level_14 -> () -> () -> AgdaAny -> AgdaAny -> () Source #