Source code on Github
module
Class.MonotonePredicate
where
open
import
Class.MonotonePredicate.Core
public