fact: Definition method_signature_decl (cn:ClassName) (rt:ReturnType) (name:ShortMethodName) (params:list Param) := (cn, METHODSIGNATURE.Build_t name params (returnType2option rt)).
imports: Coq(List) JML(ListHelpers) JML(JMLExpressionNotations) JML(JMLProgramPlusImpl)