Parsley.Internal.Backend.InstructionAnalyser
coinsNeeded :: Fix4 (Instr o) xs n r a -> Int Source #
relevancy :: SingNat (Length xs) => Fix4 (Instr o) xs n r a -> Vec (Length xs) Bool Source #