operator(.implies.) Interface

public interface operator(.implies.)

Contents

Module Procedures

implies

Module Procedures

private elemental function implies(P, Q)

@brief The logical operator P => Q

Arguments

Type	Intent	Optional	Attributes		Name
logical,	intent(in)			::	P
logical,	intent(in)			::	Q

Return Value logical