public class Destructor : Symbol {
public Block body { get; set; } ;
public FormalParameter this_parameter { get; set; } ;
public weak bool instance { get; set; } ;
public Destructor ( SourceReference? source_reference = null ) ;
}

public Destructor ( SourceReference? source_reference = null ) ;
public Block body { get; set; } ;
public FormalParameter this_parameter { get; set; } ;
public weak bool instance { get; set; } ;
Created by Valadoc