Type Alias ProgramParent

ProgramParent: {
    advice: string;
    head: (ModuleHeader | DeclareHeader)[];
    initial: Json;
    kind: ProgramKind;
    type: "program";
}

Settings