Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val signature :
filename:string ->
Ppxlib.Parsetree.signature ->
Uast.s_signature
Parses the specifications contained in the attributes of the input parsetree and returns an annotated parsetree with Gospel specifications.