@nfdi4plants/arctrl 3.2.2 → 3.3.0

package/dist/ts/ts/CWL/CWLTypes.d.ts

@@ -1,130 +1,341 @@
-import { Union } from '@fable-org/fable-library-ts/Types.ts';
+import { float64, int32 } from '@fable-org/fable-library-ts/Int32.ts';
+import { Union, Record } from '@fable-org/fable-library-ts/Types.ts';
+import { YamlNode } from '../fable_modules/YAMLicious.2.0.0/Model.fs.js';
 import { TypeInfo } from '@fable-org/fable-library-ts/Reflection.ts';
-import { int32 } from '@fable-org/fable-library-ts/Int32.ts';
 import { Option } from '@fable-org/fable-library-ts/Option.ts';
 import { int64 } from '@fable-org/fable-library-ts/BigInt.ts';
-import { YAMLElement_$union } from '../fable_modules/YAMLicious.1.0.0/YAMLiciousTypes.fs.js';
 import { FSharpSet } from '@fable-org/fable-library-ts/Set.ts';
 import { DynamicObj } from '../fable_modules/DynamicObj.8.0.0/DynamicObj.fs.js';
-export type SchemaSaladString_$union = SchemaSaladString<0> | SchemaSaladString<1> | SchemaSaladString<2>;
+/**
+ * A YAML value that a CWL object keeps as it was written, such as the default value of an input or the
+ * secondaryFiles of a port. The node keeps its comments, blank lines, scalar styles and collection styles, and the
+ * encoder writes them back. A comment behind the last entry of a raw value moves in front of that entry when the
+ * encoder writes the value in front of other entries. YamlNode has no structural equality. DynamicObj compares and
+ * hashes the properties of an object through the objects that it holds, so the value carries its own equality. Two
+ * values are equal when their nodes have the same shape, tags, keys and scalar texts, and when each scalar is plain
+ * in both or quoted in both. Comments, blank lines, anchors, collection styles and the kind of quote do not count.
+ */
+export declare class RawYaml extends Record {
+    readonly Node: YamlNode;
+    constructor(Node$: YamlNode);
+    Equals(o: any): boolean;
+    GetHashCode(): int32;
+}
+export declare function RawYaml_$reflection(): TypeInfo;
+/**
+ * The path of the $mixin directive in a mapping that holds one, and the empty text for any other node.
+ */
+export declare function RawYaml__get_MixinPath(this$: RawYaml): string;
+/**
+ * The text of a field of a mapping when the field holds a scalar with a value, and none otherwise.
+ */
+export declare function RawYaml__TryScalarField_Z721C83C5(this$: RawYaml, field: string): Option<string>;
+export declare function IntegerOf_tryNumber(value: float64): Option<int64>;
+export type SchemaSaladString_$union = SchemaSaladString<0> | SchemaSaladString<1> | SchemaSaladString<2> | SchemaSaladString<3> | SchemaSaladString<4>;
 export type SchemaSaladString_$cases = {
     0: ["Literal", [string]];
     1: ["Include", [string]];
     2: ["Import", [string]];
+    3: ["Mixin", [string]];
+    4: ["Mixed", [RawYaml]];
 };
 export declare function SchemaSaladString_Literal(Item: string): SchemaSaladString<0>;
 export declare function SchemaSaladString_Include(Item: string): SchemaSaladString<1>;
 export declare function SchemaSaladString_Import(Item: string): SchemaSaladString<2>;
+export declare function SchemaSaladString_Mixin(Item: string): SchemaSaladString<3>;
+export declare function SchemaSaladString_Mixed(Item: RawYaml): SchemaSaladString<4>;
 export declare class SchemaSaladString<Tag extends keyof SchemaSaladString_$cases> extends Union<Tag, SchemaSaladString_$cases[Tag][0]> {
     constructor(tag: Tag, fields: SchemaSaladString_$cases[Tag][1]);
     readonly tag: Tag;
     readonly fields: SchemaSaladString_$cases[Tag][1];
     cases(): string[];
+    static literal(value: string): SchemaSaladString_$union;
+    static include(value: string): SchemaSaladString_$union;
+    static import(value: string): SchemaSaladString_$union;
+    static mixin(value: string): SchemaSaladString_$union;
+    static mixed(value: RawYaml): SchemaSaladString_$union;
+    /**
+     * The text of a literal and the path of a directive.
+     */
+    get Value(): string;
+    /**
+     * The text as a document spells it, with the directive in front of the path. The description of an expression tool in
+     * an RO-Crate and the properties of a node of the workflow graph show a string through it, so it is a text for display.
+     * The decoder and the encoder keep the directive as a case, so a document never holds this text.
+     */
+    get AsDirectiveString(): string;
 }
 export declare function SchemaSaladString_$reflection(): TypeInfo;
-export declare function SchemaSaladString__get_Value(this$: SchemaSaladString_$union): string;
-export declare function SchemaSaladString__get_AsDirectiveString(this$: SchemaSaladString_$union): string;
 export declare function SchemaSaladStringModule_literal(value: string): SchemaSaladString_$union;
 export declare function SchemaSaladStringModule_includePath(value: string): SchemaSaladString_$union;
 export declare function SchemaSaladStringModule_importPath(value: string): SchemaSaladString_$union;
+export declare function SchemaSaladStringModule_mixinPath(value: string): SchemaSaladString_$union;
 export declare function SchemaSaladStringModule_value(saladString: SchemaSaladString_$union): string;
-export declare function SchemaSaladStringModule_toDirectiveString(saladString: SchemaSaladString_$union): string;
+/**
+ * The text of a literal string, and none for a directive, which names a file whose text the model does not hold.
+ */
+export declare function SchemaSaladStringModule_tryLiteral(saladString: SchemaSaladString_$union): Option<string>;
+export type ListEntry$1_$union<T> = ListEntry$1<T, 0> | ListEntry$1<T, 1> | ListEntry$1<T, 2>;
+export type ListEntry$1_$cases<T> = {
+    0: ["Value", [T]];
+    1: ["Imported", [string]];
+    2: ["Mixed", [RawYaml]];
+};
+export declare function ListEntry$1_Value<T>(Item: T): ListEntry$1<T, 0>;
+export declare function ListEntry$1_Imported<T>(Item: string): ListEntry$1<T, 1>;
+export declare function ListEntry$1_Mixed<T>(Item: RawYaml): ListEntry$1<T, 2>;
+/**
+ * An entry of a list of objects or numbers, such as the inputs, the outputs, the steps, the fields of a record or the
+ * success codes. An entry is the value itself, or the import of a file that holds the value or a list of values, as in
+ * inputs: [{$import: ports.yml}]. A value that a file completes through $mixin is a third kind, which keeps the mapping as
+ * written. The decoder reads no file, so the import and the mixin stay entries of their own, in their place. The same
+ * union serves the entries of a list and the one object of a field, such as the inputBinding of an input.
+ */
+export declare class ListEntry$1<T, Tag extends keyof ListEntry$1_$cases<T>> extends Union<Tag, ListEntry$1_$cases<T>[Tag][0]> {
+    constructor(tag: Tag, fields: ListEntry$1_$cases<T>[Tag][1]);
+    readonly tag: Tag;
+    readonly fields: ListEntry$1_$cases<T>[Tag][1];
+    cases(): string[];
+    /**
+     * The object of a value entry, and none for an import or a mixin.
+     */
+    static tryValue<T>(entry: ListEntry$1_$union<T>): Option<T>;
+    /**
+     * The objects of the value entries, in order. The imports and the mixins stand for objects that the decoder does not
+     * read, so they are left out. The result is a new list.
+     */
+    static values<T>(entries: Iterable<ListEntry$1_$union<T>>): T[];
+    /**
+     * The value entries for these objects, in order.
+     */
+    static ofValues<T>(values: Iterable<T>): ListEntry$1_$union<T>[];
+    /**
+     * The entry with another object, and the same import or mixin.
+     */
+    static map<T, U>(mapping: ((arg0: T) => U), entry: ListEntry$1_$union<T>): ListEntry$1_$union<U>;
+}
+export declare function ListEntry$1_$reflection(gen0: TypeInfo): TypeInfo;
+export type SchemaSaladBool_$union = SchemaSaladBool<0> | SchemaSaladBool<1> | SchemaSaladBool<2>;
+export type SchemaSaladBool_$cases = {
+    0: ["Value", [boolean]];
+    1: ["Imported", [string]];
+    2: ["Mixed", [RawYaml]];
+};
+export declare function SchemaSaladBool_Value(Item: boolean): SchemaSaladBool<0>;
+export declare function SchemaSaladBool_Imported(Item: string): SchemaSaladBool<1>;
+export declare function SchemaSaladBool_Mixed(Item: RawYaml): SchemaSaladBool<2>;
+/**
+ * A field that CWL types as a boolean: the value, or a directive that stands for it. An $import takes the data of a
+ * file, and a $mixin does the same, so both can stand where a boolean stands. The file holds a boolean, so the fields
+ * beside a mixin drop out. An $include yields the text of a file, which is a string, so it cannot. The decoder reads no
+ * file, so a directive stays as written and a mixin keeps its mapping. A directive is a case of its own because a value
+ * that is missing, or false, would pass for it.
+ */
+export declare class SchemaSaladBool<Tag extends keyof SchemaSaladBool_$cases> extends Union<Tag, SchemaSaladBool_$cases[Tag][0]> {
+    constructor(tag: Tag, fields: SchemaSaladBool_$cases[Tag][1]);
+    readonly tag: Tag;
+    readonly fields: SchemaSaladBool_$cases[Tag][1];
+    cases(): string[];
+    /**
+     * The boolean of a value, and none for a directive, which names a file whose data the model does not hold.
+     */
+    static tryValue(value: SchemaSaladBool_$union): Option<boolean>;
+}
+export declare function SchemaSaladBool_$reflection(): TypeInfo;
+export type FileSize_$union = FileSize<0> | FileSize<1> | FileSize<2>;
+export type FileSize_$cases = {
+    0: ["Bytes", [int64]];
+    1: ["Imported", [string]];
+    2: ["Mixed", [RawYaml]];
+};
+export declare function FileSize_Bytes(Item: int64): FileSize<0>;
+export declare function FileSize_Imported(Item: string): FileSize<1>;
+export declare function FileSize_Mixed(Item: RawYaml): FileSize<2>;
+/**
+ * The size of a File object in bytes: the number, or a directive that stands for it. The directives that can stand
+ * there are an $import and a $mixin, as in SchemaSaladBool. The file holds a number, so the fields beside a mixin drop out.
+ */
+export declare class FileSize<Tag extends keyof FileSize_$cases> extends Union<Tag, FileSize_$cases[Tag][0]> {
+    constructor(tag: Tag, fields: FileSize_$cases[Tag][1]);
+    readonly tag: Tag;
+    readonly fields: FileSize_$cases[Tag][1];
+    cases(): string[];
+    /**
+     * The number of bytes of a size, and none for a directive.
+     */
+    static tryBytes(size: FileSize_$union): Option<int64>;
+}
+export declare function FileSize_$reflection(): TypeInfo;
+export type DocText_$union = DocText<0> | DocText<1>;
+export type DocText_$cases = {
+    0: ["Text", [SchemaSaladString_$union]];
+    1: ["Parts", [SchemaSaladString_$union[]]];
+};
+export declare function DocText_Text$(Item: SchemaSaladString_$union): DocText<0>;
+export declare function DocText_Parts(Item: SchemaSaladString_$union[]): DocText<1>;
+/**
+ * The doc of a CWL object. CWL admits one string or a list of strings, and Schema Salad joins the items of a list
+ * without a separator. A string, a directive and a list of plain strings are each one value, so the list [a, b] and the
+ * string ab are the same doc, and the layout of the author stays in the source node of the object. A directive in a
+ * list names a file with a part of the text, and the model does not hold that text, so the parts stay apart. The
+ * parts exist for that case only. A doc is the one string position that takes a list, so a list of strings has a type of
+ * its own and no other field can hold one.
+ */
+export declare class DocText<Tag extends keyof DocText_$cases> extends Union<Tag, DocText_$cases[Tag][0]> {
+    constructor(tag: Tag, fields: DocText_$cases[Tag][1]);
+    readonly tag: Tag;
+    readonly fields: DocText_$cases[Tag][1];
+    cases(): string[];
+    Equals(o: any): boolean;
+    GetHashCode(): int32;
+    /**
+     * The doc that is the given text.
+     */
+    static literal(text: string): DocText_$union;
+    /**
+     * The text of the doc, and none for a doc with a directive.
+     */
+    get TryText(): string | undefined;
+}
+export declare function DocText_$reflection(): TypeInfo;
+/**
+ * A File value. Its string fields take a directive, as the strings of a process do. cwltool accepts a directive in the
+ * location and the path when the file holds an absolute URL and refuses it for a relative text. The verdict depends on the
+ * file, so the decoder keeps the directive.
+ */
 export declare class FileInstance extends DynamicObj {
-    _location: Option<string>;
-    _path: Option<string>;
-    _basename: Option<string>;
-    _dirname: Option<string>;
-    _nameroot: Option<string>;
-    _nameext: Option<string>;
-    _checksum: Option<string>;
-    _size: Option<int64>;
-    _secondaryFiles: Option<YAMLElement_$union>;
-    _format: Option<string>;
-    _contents: Option<string>;
-    constructor(location?: string, path?: string, basename?: string, dirname?: string, nameroot?: string, nameext?: string, checksum?: string, size?: int64, secondaryFiles?: YAMLElement_$union, format?: string, contents?: string);
-    get Location(): string | undefined;
-    set Location(value: Option<string>);
-    get Path(): string | undefined;
-    set Path(value: Option<string>);
-    get Basename(): string | undefined;
-    set Basename(value: Option<string>);
-    get Dirname(): string | undefined;
-    set Dirname(value: Option<string>);
-    get Nameroot(): string | undefined;
-    set Nameroot(value: Option<string>);
-    get Nameext(): string | undefined;
-    set Nameext(value: Option<string>);
-    get Checksum(): string | undefined;
-    set Checksum(value: Option<string>);
-    get Size(): int64 | undefined;
-    set Size(value: Option<int64>);
-    get SecondaryFiles(): YAMLElement_$union | undefined;
-    set SecondaryFiles(value: Option<YAMLElement_$union>);
-    get Format(): string | undefined;
-    set Format(value: Option<string>);
-    get Contents(): string | undefined;
-    set Contents(value: Option<string>);
+    _location: Option<SchemaSaladString_$union>;
+    _path: Option<SchemaSaladString_$union>;
+    _basename: Option<SchemaSaladString_$union>;
+    _dirname: Option<SchemaSaladString_$union>;
+    _nameroot: Option<SchemaSaladString_$union>;
+    _nameext: Option<SchemaSaladString_$union>;
+    _checksum: Option<SchemaSaladString_$union>;
+    _size: Option<FileSize_$union>;
+    _secondaryFiles: Option<RawYaml>;
+    _format: Option<SchemaSaladString_$union>;
+    _contents: Option<SchemaSaladString_$union>;
+    constructor(location?: SchemaSaladString_$union, path?: SchemaSaladString_$union, basename?: SchemaSaladString_$union, dirname?: SchemaSaladString_$union, nameroot?: SchemaSaladString_$union, nameext?: SchemaSaladString_$union, checksum?: SchemaSaladString_$union, size?: FileSize_$union, secondaryFiles?: RawYaml, format?: SchemaSaladString_$union, contents?: SchemaSaladString_$union);
+    get Location(): SchemaSaladString_$union | undefined;
+    set Location(value: Option<SchemaSaladString_$union>);
+    get Path(): SchemaSaladString_$union | undefined;
+    set Path(value: Option<SchemaSaladString_$union>);
+    get Basename(): SchemaSaladString_$union | undefined;
+    set Basename(value: Option<SchemaSaladString_$union>);
+    get Dirname(): SchemaSaladString_$union | undefined;
+    set Dirname(value: Option<SchemaSaladString_$union>);
+    get Nameroot(): SchemaSaladString_$union | undefined;
+    set Nameroot(value: Option<SchemaSaladString_$union>);
+    get Nameext(): SchemaSaladString_$union | undefined;
+    set Nameext(value: Option<SchemaSaladString_$union>);
+    get Checksum(): SchemaSaladString_$union | undefined;
+    set Checksum(value: Option<SchemaSaladString_$union>);
+    get Size(): FileSize_$union | undefined;
+    set Size(value: Option<FileSize_$union>);
+    get SecondaryFiles(): RawYaml | undefined;
+    set SecondaryFiles(value: Option<RawYaml>);
+    get Format(): SchemaSaladString_$union | undefined;
+    set Format(value: Option<SchemaSaladString_$union>);
+    get Contents(): SchemaSaladString_$union | undefined;
+    set Contents(value: Option<SchemaSaladString_$union>);
     static get KnownFieldNames(): FSharpSet<string>;
     GetHashCode(): int32;
     Equals(o: any): boolean;
 }
 export declare function FileInstance_$reflection(): TypeInfo;
-export declare function FileInstance_$ctor_75C1B52E(location?: string, path?: string, basename?: string, dirname?: string, nameroot?: string, nameext?: string, checksum?: string, size?: int64, secondaryFiles?: YAMLElement_$union, format?: string, contents?: string): FileInstance;
+export declare function FileInstance_$ctor_150431C5(location?: SchemaSaladString_$union, path?: SchemaSaladString_$union, basename?: SchemaSaladString_$union, dirname?: SchemaSaladString_$union, nameroot?: SchemaSaladString_$union, nameext?: SchemaSaladString_$union, checksum?: SchemaSaladString_$union, size?: FileSize_$union, secondaryFiles?: RawYaml, format?: SchemaSaladString_$union, contents?: SchemaSaladString_$union): FileInstance;
+/**
+ * A Directory value. Its string fields take a directive like the strings of a File.
+ */
 export declare class DirectoryInstance extends DynamicObj {
-    _location: Option<string>;
-    _path: Option<string>;
-    _basename: Option<string>;
-    _listing: Option<YAMLElement_$union>;
-    constructor(location?: string, path?: string, basename?: string, listing?: YAMLElement_$union);
-    get Location(): string | undefined;
-    set Location(value: Option<string>);
-    get Path(): string | undefined;
-    set Path(value: Option<string>);
-    get Basename(): string | undefined;
-    set Basename(value: Option<string>);
-    get Listing(): YAMLElement_$union | undefined;
-    set Listing(value: Option<YAMLElement_$union>);
+    _location: Option<SchemaSaladString_$union>;
+    _path: Option<SchemaSaladString_$union>;
+    _basename: Option<SchemaSaladString_$union>;
+    _listing: Option<RawYaml>;
+    constructor(location?: SchemaSaladString_$union, path?: SchemaSaladString_$union, basename?: SchemaSaladString_$union, listing?: RawYaml);
+    get Location(): SchemaSaladString_$union | undefined;
+    set Location(value: Option<SchemaSaladString_$union>);
+    get Path(): SchemaSaladString_$union | undefined;
+    set Path(value: Option<SchemaSaladString_$union>);
+    get Basename(): SchemaSaladString_$union | undefined;
+    set Basename(value: Option<SchemaSaladString_$union>);
+    get Listing(): RawYaml | undefined;
+    set Listing(value: Option<RawYaml>);
     static get KnownFieldNames(): FSharpSet<string>;
     Equals(o: any): boolean;
     GetHashCode(): int32;
 }
 export declare function DirectoryInstance_$reflection(): TypeInfo;
-export declare function DirectoryInstance_$ctor_Z4C1E59AE(location?: string, path?: string, basename?: string, listing?: YAMLElement_$union): DirectoryInstance;
+export declare function DirectoryInstance_$ctor_219ADA02(location?: SchemaSaladString_$union, path?: SchemaSaladString_$union, basename?: SchemaSaladString_$union, listing?: RawYaml): DirectoryInstance;
 export declare class DirentInstance extends DynamicObj {
     _entry: SchemaSaladString_$union;
     _entryname: Option<SchemaSaladString_$union>;
-    _writable: Option<boolean>;
-    constructor(entry: SchemaSaladString_$union, entryname?: SchemaSaladString_$union, writable?: boolean);
+    _writable: Option<SchemaSaladBool_$union>;
+    constructor(entry: SchemaSaladString_$union, entryname?: SchemaSaladString_$union, writable?: SchemaSaladBool_$union);
     get Entry(): SchemaSaladString_$union;
     set Entry(value: SchemaSaladString_$union);
     get Entryname(): SchemaSaladString_$union | undefined;
     set Entryname(value: Option<SchemaSaladString_$union>);
-    get Writable(): boolean | undefined;
-    set Writable(value: Option<boolean>);
+    get Writable(): SchemaSaladBool_$union | undefined;
+    set Writable(value: Option<SchemaSaladBool_$union>);
     Equals(o: any): boolean;
     GetHashCode(): int32;
     static get KnownFieldNames(): FSharpSet<string>;
 }
 export declare function DirentInstance_$reflection(): TypeInfo;
-export declare function DirentInstance_$ctor_Z61DE5D76(entry: SchemaSaladString_$union, entryname?: SchemaSaladString_$union, writable?: boolean): DirentInstance;
+export declare function DirentInstance_$ctor_F8980C3(entry: SchemaSaladString_$union, entryname?: SchemaSaladString_$union, writable?: SchemaSaladBool_$union): DirentInstance;
+/**
+ * The nodes that the doc and the label of a CWL object were read from. A node holds the layout of the author, such as
+ * the lines of a folded doc. The encoder writes the current text of the property into the node. The node gives the
+ * lines of the document back while the text is unchanged, and an edited text keeps the style of the node and the lines
+ * that still fit.
+ *
+ * The layout is no part of the value of an object, so every SourceNodes is equal to every other one and hashes to 0.
+ * DynamicObj compares and hashes all properties of an object on JavaScript and Python, whatever their visibility, and
+ * the objects without an Equals of their own rely on that. YamlNode has no structural equality either.
+ */
+export declare class SourceNodes extends Record {
+    readonly Doc: Option<YamlNode>;
+    readonly Label: Option<YamlNode>;
+    readonly WholeFields: FSharpSet<string>;
+    constructor(Doc: Option<YamlNode>, Label: Option<YamlNode>, WholeFields: FSharpSet<string>);
+    Equals(o: any): boolean;
+    GetHashCode(): int32;
+}
+export declare function SourceNodes_$reflection(): TypeInfo;
+export declare function SourceNodes_get_Empty(): SourceNodes;
 /**
  * Represents an enumeration type with a defined set of valid symbol values.
  * Per the CWL specification, symbol order is semantically significant and preserved during serialization.
+ * A symbol is a string, so a directive can stand in its place. An $include yields the text of a file as the symbol,
+ * and an $import yields the symbol or the list of symbols of a file. The decoder reads no file, so a directive stays
+ * an entry of the list, in its place.
  */
 export declare class InputEnumSchema extends DynamicObj {
-    _symbols: string[];
-    _label: Option<string>;
-    _doc: Option<string>;
+    _symbols: SchemaSaladString_$union[];
+    _label: Option<SchemaSaladString_$union>;
+    _doc: Option<DocText_$union>;
     _name: Option<string>;
-    constructor(symbols: string[], label?: string, doc?: string, name?: string);
-    get Symbols(): string[];
-    set Symbols(value: string[]);
-    get Label(): string | undefined;
-    set Label(value: Option<string>);
-    get Doc(): string | undefined;
-    set Doc(value: Option<string>);
+    _sourceNodes: SourceNodes;
+    constructor(symbols: SchemaSaladString_$union[], label?: SchemaSaladString_$union, doc?: DocText_$union, name?: string);
+    get Symbols(): SchemaSaladString_$union[];
+    set Symbols(value: SchemaSaladString_$union[]);
+    get Label(): SchemaSaladString_$union | undefined;
+    set Label(value: Option<SchemaSaladString_$union>);
+    get Doc(): DocText_$union | undefined;
+    set Doc(value: Option<DocText_$union>);
     get Name(): string | undefined;
     set Name(value: Option<string>);
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    get SourceNodes(): SourceNodes;
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    set SourceNodes(value: SourceNodes);
     /**
      * Equality comparison that treats symbol order as significant.
      * Two enums are equal only if their symbols appear in the same order.
@@ -133,111 +344,171 @@ export declare class InputEnumSchema extends DynamicObj {
     Equals(o: any): boolean;
     GetHashCode(): int32;
     static get KnownFieldNames(): FSharpSet<string>;
+    /**
+     * Returns a new list of the symbols that the document writes out as strings. The directives are left out, so a change
+     * of the list changes nothing in the enum. The entries of the enum are in Symbols.
+     */
+    static getSymbolValues(schema: InputEnumSchema): string[];
 }
 export declare function InputEnumSchema_$reflection(): TypeInfo;
-export declare function InputEnumSchema_$ctor_Z998ED46(symbols: string[], label?: string, doc?: string, name?: string): InputEnumSchema;
+export declare function InputEnumSchema_$ctor_162689D3(symbols: SchemaSaladString_$union[], label?: SchemaSaladString_$union, doc?: DocText_$union, name?: string): InputEnumSchema;
 /**
  * Represents a field in an InputRecordSchema
  */
 export declare class InputRecordField extends DynamicObj {
     _name: string;
     _type: CWLType_$union;
-    _doc: Option<string>;
-    _label: Option<string>;
-    constructor(name: string, type_: CWLType_$union, doc?: string, label?: string);
+    _doc: Option<DocText_$union>;
+    _label: Option<SchemaSaladString_$union>;
+    _sourceNodes: SourceNodes;
+    constructor(name: string, type_: CWLType_$union, doc?: DocText_$union, label?: SchemaSaladString_$union);
     get Name(): string;
     set Name(value: string);
     get Type(): CWLType_$union;
     set Type(value: CWLType_$union);
-    get Doc(): string | undefined;
-    set Doc(value: Option<string>);
-    get Label(): string | undefined;
-    set Label(value: Option<string>);
+    get Doc(): DocText_$union | undefined;
+    set Doc(value: Option<DocText_$union>);
+    get Label(): SchemaSaladString_$union | undefined;
+    set Label(value: Option<SchemaSaladString_$union>);
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    get SourceNodes(): SourceNodes;
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    set SourceNodes(value: SourceNodes);
     Equals(o: any): boolean;
     GetHashCode(): int32;
     static get KnownFieldNames(): FSharpSet<string>;
 }
 export declare function InputRecordField_$reflection(): TypeInfo;
-export declare function InputRecordField_$ctor_Z155BDB64(name: string, type_: CWLType_$union, doc?: string, label?: string): InputRecordField;
+export declare function InputRecordField_$ctor_ZBF0B4CA(name: string, type_: CWLType_$union, doc?: DocText_$union, label?: SchemaSaladString_$union): InputRecordField;
 /**
- * Represents a record schema for workflow input parameters
+ * Represents a record schema for workflow input parameters. An entry of the fields is a field, or the import of a file
+ * that holds a field or a list of fields. The decoder reads no file, so the import stays an entry of its own, in its
+ * place.
  */
 export declare class InputRecordSchema extends DynamicObj {
-    _fields: Option<InputRecordField[]>;
-    _label: Option<string>;
-    _doc: Option<string>;
+    _fields: Option<ListEntry$1_$union<InputRecordField>[]>;
+    _label: Option<SchemaSaladString_$union>;
+    _doc: Option<DocText_$union>;
     _name: Option<string>;
-    constructor(fields?: InputRecordField[], label?: string, doc?: string, name?: string);
-    get Fields(): InputRecordField[] | undefined;
-    set Fields(value: Option<InputRecordField[]>);
-    get Label(): string | undefined;
-    set Label(value: Option<string>);
-    get Doc(): string | undefined;
-    set Doc(value: Option<string>);
+    _sourceNodes: SourceNodes;
+    constructor(fields?: ListEntry$1_$union<InputRecordField>[], label?: SchemaSaladString_$union, doc?: DocText_$union, name?: string);
+    get Fields(): ListEntry$1_$union<InputRecordField>[] | undefined;
+    set Fields(value: Option<ListEntry$1_$union<InputRecordField>[]>);
+    get Label(): SchemaSaladString_$union | undefined;
+    set Label(value: Option<SchemaSaladString_$union>);
+    get Doc(): DocText_$union | undefined;
+    set Doc(value: Option<DocText_$union>);
     get Name(): string | undefined;
     set Name(value: Option<string>);
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    get SourceNodes(): SourceNodes;
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    set SourceNodes(value: SourceNodes);
     Equals(o: any): boolean;
     GetHashCode(): int32;
     static get KnownFieldNames(): FSharpSet<string>;
+    /**
+     * Returns a new list of the fields of the record that are objects, or an empty list for a record without fields. The
+     * imports and the mixins are left out, so a change of the list changes nothing in the record. The entries of the
+     * record are in Fields.
+     */
+    static getFieldValuesOrEmpty(schema: InputRecordSchema): InputRecordField[];
 }
 export declare function InputRecordSchema_$reflection(): TypeInfo;
-export declare function InputRecordSchema_$ctor_Z52C4D9E4(fields?: InputRecordField[], label?: string, doc?: string, name?: string): InputRecordSchema;
+export declare function InputRecordSchema_$ctor_6F045035(fields?: ListEntry$1_$union<InputRecordField>[], label?: SchemaSaladString_$union, doc?: DocText_$union, name?: string): InputRecordSchema;
 /**
  * Represents an array schema for workflow input parameters
  */
 export declare class InputArraySchema extends DynamicObj {
     _items: CWLType_$union;
-    _label: Option<string>;
-    _doc: Option<string>;
+    _label: Option<SchemaSaladString_$union>;
+    _doc: Option<DocText_$union>;
     _name: Option<string>;
-    constructor(items: CWLType_$union, label?: string, doc?: string, name?: string);
+    _sourceNodes: SourceNodes;
+    constructor(items: CWLType_$union, label?: SchemaSaladString_$union, doc?: DocText_$union, name?: string);
     get Items(): CWLType_$union;
     set Items(value: CWLType_$union);
-    get Label(): string | undefined;
-    set Label(value: Option<string>);
-    get Doc(): string | undefined;
-    set Doc(value: Option<string>);
+    get Label(): SchemaSaladString_$union | undefined;
+    set Label(value: Option<SchemaSaladString_$union>);
+    get Doc(): DocText_$union | undefined;
+    set Doc(value: Option<DocText_$union>);
     get Name(): string | undefined;
     set Name(value: Option<string>);
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    get SourceNodes(): SourceNodes;
+    /**
+     * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+     * They stay out of the equality and the hash of the object.
+     */
+    set SourceNodes(value: SourceNodes);
     Equals(o: any): boolean;
     GetHashCode(): int32;
     static get KnownFieldNames(): FSharpSet<string>;
 }
 export declare function InputArraySchema_$reflection(): TypeInfo;
-export declare function InputArraySchema_$ctor_4E4FFD9F(items: CWLType_$union, label?: string, doc?: string, name?: string): InputArraySchema;
-export type CWLType_$union = CWLType<0> | CWLType<1> | CWLType<2> | CWLType<3> | CWLType<4> | CWLType<5> | CWLType<6> | CWLType<7> | CWLType<8> | CWLType<9> | CWLType<10> | CWLType<11> | CWLType<12> | CWLType<13> | CWLType<14>;
+export declare function InputArraySchema_$ctor_24D6AC35(items: CWLType_$union, label?: SchemaSaladString_$union, doc?: DocText_$union, name?: string): InputArraySchema;
+export type CWLType_$union = CWLType<0> | CWLType<1> | CWLType<2> | CWLType<3> | CWLType<4> | CWLType<5> | CWLType<6> | CWLType<7> | CWLType<8> | CWLType<9> | CWLType<10> | CWLType<11> | CWLType<12> | CWLType<13> | CWLType<14> | CWLType<15> | CWLType<16> | CWLType<17> | CWLType<18> | CWLType<19> | CWLType<20> | CWLType<21>;
 export type CWLType_$cases = {
-    0: ["File", [FileInstance]];
-    1: ["Directory", [DirectoryInstance]];
-    2: ["Dirent", [DirentInstance]];
-    3: ["String", []];
-    4: ["Int", []];
-    5: ["Long", []];
-    6: ["Float", []];
-    7: ["Double", []];
-    8: ["Boolean", []];
+    0: ["File", []];
+    1: ["Directory", []];
+    2: ["String", []];
+    3: ["Int", []];
+    4: ["Long", []];
+    5: ["Float", []];
+    6: ["Double", []];
+    7: ["Boolean", []];
+    8: ["Any", []];
     9: ["Stdout", []];
-    10: ["Null", []];
-    11: ["Array", [InputArraySchema]];
-    12: ["Record", [InputRecordSchema]];
-    13: ["Enum", [InputEnumSchema]];
-    14: ["Union", [CWLType_$union[]]];
+    10: ["Stderr", []];
+    11: ["Stdin", []];
+    12: ["Reference", [string]];
+    13: ["ImportedType", [string]];
+    14: ["IncludedType", [string]];
+    15: ["MixedType", [RawYaml]];
+    16: ["RawType", [RawYaml]];
+    17: ["Null", []];
+    18: ["Array", [InputArraySchema]];
+    19: ["Record", [InputRecordSchema]];
+    20: ["Enum", [InputEnumSchema]];
+    21: ["Union", [CWLType_$union[]]];
 };
-export declare function CWLType_File(Item: FileInstance): CWLType<0>;
-export declare function CWLType_Directory(Item: DirectoryInstance): CWLType<1>;
-export declare function CWLType_Dirent(Item: DirentInstance): CWLType<2>;
+export declare function CWLType_File(): any;
+export declare function CWLType_Directory(): any;
 export declare function CWLType_String$(): any;
 export declare function CWLType_Int(): any;
 export declare function CWLType_Long(): any;
 export declare function CWLType_Float(): any;
 export declare function CWLType_Double(): any;
 export declare function CWLType_Boolean$(): any;
+export declare function CWLType_Any(): any;
 export declare function CWLType_Stdout(): any;
+export declare function CWLType_Stderr(): any;
+export declare function CWLType_Stdin(): any;
+export declare function CWLType_Reference(Item: string): CWLType<12>;
+export declare function CWLType_ImportedType(Item: string): CWLType<13>;
+export declare function CWLType_IncludedType(Item: string): CWLType<14>;
+export declare function CWLType_MixedType(Item: RawYaml): CWLType<15>;
+export declare function CWLType_RawType(Item: RawYaml): CWLType<16>;
 export declare function CWLType_Null(): any;
-export declare function CWLType_Array$(Item: InputArraySchema): CWLType<11>;
-export declare function CWLType_Record(Item: InputRecordSchema): CWLType<12>;
-export declare function CWLType_Enum(Item: InputEnumSchema): CWLType<13>;
-export declare function CWLType_Union(Item: CWLType_$union[]): CWLType<14>;
+export declare function CWLType_Array$(Item: InputArraySchema): CWLType<18>;
+export declare function CWLType_Record(Item: InputRecordSchema): CWLType<19>;
+export declare function CWLType_Enum(Item: InputEnumSchema): CWLType<20>;
+export declare function CWLType_Union(Item: CWLType_$union[]): CWLType<21>;
 /**
  * Primitive types with the concept of a file and directory as a builtin type.
  */
@@ -246,60 +517,122 @@ export declare class CWLType<Tag extends keyof CWLType_$cases> extends Union<Tag
     readonly tag: Tag;
     readonly fields: CWLType_$cases[Tag][1];
     cases(): string[];
+    static readonly File: any;
+    static readonly Directory: any;
     static readonly String$: any;
     static readonly Int: any;
     static readonly Long: any;
     static readonly Float: any;
     static readonly Double: any;
     static readonly Boolean$: any;
+    static readonly Any: any;
     static readonly Stdout: any;
+    static readonly Stderr: any;
+    static readonly Stdin: any;
     static readonly Null: any;
     Equals(o: any): boolean;
     GetHashCode(): int32;
+    static file(): CWLType_$union;
+    static directory(): CWLType_$union;
+    static string(): CWLType_$union;
+    static int(): CWLType_$union;
+    static long(): CWLType_$union;
+    static float(): CWLType_$union;
+    static double(): CWLType_$union;
+    static boolean(): CWLType_$union;
+    static any(): CWLType_$union;
+    static stdout(): CWLType_$union;
+    static stderr(): CWLType_$union;
+    static stdin(): CWLType_$union;
+    static reference(value: string): CWLType_$union;
+    static importedType(value: string): CWLType_$union;
+    static includedType(value: string): CWLType_$union;
+    static mixedType(value: RawYaml): CWLType_$union;
+    static rawType(value: RawYaml): CWLType_$union;
+    static null(): CWLType_$union;
+    static array(value: InputArraySchema): CWLType_$union;
+    static enum(value: InputEnumSchema): CWLType_$union;
+    static record(value: InputRecordSchema): CWLType_$union;
+    static union(value: CWLType_$union[]): CWLType_$union;
 }
 export declare function CWLType_$reflection(): TypeInfo;
-export declare function CWLType_file(): CWLType_$union;
-export declare function CWLType_directory(): CWLType_$union;
-export declare class SchemaDefRequirementType extends DynamicObj {
-    _name: string;
-    _type: CWLType_$union;
-    constructor(name: string, type_: CWLType_$union);
-    get Name(): string;
-    set Name(value: string);
-    get Type_(): CWLType_$union;
-    set Type_(value: CWLType_$union);
+export type SchemaDefinition_$union = SchemaDefinition<0> | SchemaDefinition<1> | SchemaDefinition<2>;
+export type SchemaDefinition_$cases = {
+    0: ["Record", [InputRecordSchema]];
+    1: ["Enum", [InputEnumSchema]];
+    2: ["Array", [InputArraySchema]];
+};
+export declare function SchemaDefinition_Record(Item: InputRecordSchema): SchemaDefinition<0>;
+export declare function SchemaDefinition_Enum(Item: InputEnumSchema): SchemaDefinition<1>;
+export declare function SchemaDefinition_Array$(Item: InputArraySchema): SchemaDefinition<2>;
+/**
+ * The schema that a SchemaDefRequirement defines. CWL admits record, enum and array schemas there and no other type,
+ * so an alias for a builtin type has no case. A union of the three schema classes holds that rule in the type itself,
+ * and no place has to check it. The schema keeps its own name, which is optional, and its own extension fields. A port
+ * cannot name an array definition, because cwltool reports its name as an unknown type, so the case only holds the
+ * definition of a document that never uses it.
+ */
+export declare class SchemaDefinition<Tag extends keyof SchemaDefinition_$cases> extends Union<Tag, SchemaDefinition_$cases[Tag][0]> {
+    constructor(tag: Tag, fields: SchemaDefinition_$cases[Tag][1]);
+    readonly tag: Tag;
+    readonly fields: SchemaDefinition_$cases[Tag][1];
+    cases(): string[];
     Equals(o: any): boolean;
     GetHashCode(): int32;
-    static get KnownFieldNames(): FSharpSet<string>;
 }
-export declare function SchemaDefRequirementType_$reflection(): TypeInfo;
-export declare function SchemaDefRequirementType_$ctor_Z1662A364(name: string, type_: CWLType_$union): SchemaDefRequirementType;
+export declare function SchemaDefinition_$reflection(): TypeInfo;
 export declare class SoftwarePackage extends DynamicObj {
-    _package: string;
-    _version: Option<string[]>;
-    _specs: Option<string[]>;
-    constructor(package$: string, version?: string[], specs?: string[]);
-    get Package(): string;
-    set Package(value: string);
-    get Version(): string[] | undefined;
-    set Version(value: Option<string[]>);
-    get Specs(): string[] | undefined;
-    set Specs(value: Option<string[]>);
+    _package: SchemaSaladString_$union;
+    _version: Option<SchemaSaladString_$union[]>;
+    _specs: Option<SchemaSaladString_$union[]>;
+    constructor(package$: SchemaSaladString_$union, version?: SchemaSaladString_$union[], specs?: SchemaSaladString_$union[]);
+    get Package(): SchemaSaladString_$union;
+    set Package(value: SchemaSaladString_$union);
+    get Version(): SchemaSaladString_$union[] | undefined;
+    set Version(value: Option<SchemaSaladString_$union[]>);
+    get Specs(): SchemaSaladString_$union[] | undefined;
+    set Specs(value: Option<SchemaSaladString_$union[]>);
     Equals(o: any): boolean;
     GetHashCode(): int32;
     static get KnownFieldNames(): FSharpSet<string>;
 }
 export declare function SoftwarePackage_$reflection(): TypeInfo;
-export declare function SoftwarePackage_$ctor_7A38CADB(package$: string, version?: string[], specs?: string[]): SoftwarePackage;
+export declare function SoftwarePackage_$ctor_Z14DD0A28(package$: SchemaSaladString_$union, version?: SchemaSaladString_$union[], specs?: SchemaSaladString_$union[]): SoftwarePackage;
+/**
+ * The text of the path, or of the location when the path has none. The empty text stands when neither is a literal. A
+ * directive names a file whose text the model does not hold, so it counts as absent.
+ */
 export declare function FileInstanceModule_pathOrLocation(value: FileInstance): string;
+/**
+ * The text of the path, or of the location when the path has none. The empty text stands when neither is a literal.
+ */
 export declare function DirectoryInstanceModule_pathOrLocation(value: DirectoryInstance): string;
 export declare function InputRecordSchemaModule_tryGetFieldType(name: string, schema: InputRecordSchema): Option<CWLType_$union>;
 /**
- * Compare two CWLTypes for equality, ignoring the metadata carried by File and Directory instances.
+ * Compare two CWLTypes for equality, ignoring the label, the doc and the name of array and record schemas.
  *
- * This is deliberately laxer than CWLType.Equals, which compares FileInstance and DirectoryInstance contents.
+ * This is deliberately laxer than CWLType.Equals, which compares them too.
  */
 export declare function CWLTypeModule_typesEqual(left_mut: CWLType_$union, right_mut: CWLType_$union): boolean;
+/**
+ * True when a value of valueType fits a parameter of parameterType. A union admits what one of its members admits,
+ * so File? admits a File, and an array type admits an array whose items its items admit. Any admits every value, and
+ * so does a type that stays unresolved (a reference to a SchemaDefRequirement, $import, $include, $mixin or a raw
+ * type), because the type it stands for is unknown. Stdin admits what File admits, because a stdin input takes a File.
+ * Every other type admits the values of an equal type. The run conversion uses this rule to check the values of a job
+ * file against the inputs of a workflow.
+ */
+export declare function CWLTypeModule_admits(parameterType_mut: CWLType_$union, valueType_mut: CWLType_$union): boolean;
+/**
+ * True when the type is a union that contains null, so that a value of the type may be missing. The shorthand
+ * File? is such a union.
+ */
+export declare function CWLTypeModule_isOptional(type_: CWLType_$union): boolean;
+/**
+ * The type with null added: the union of null and the type, with null in front. A type that admits null already
+ * stays as it is, and the members of a union stay the members of one union.
+ */
+export declare function CWLTypeModule_makeOptional(type_: CWLType_$union): CWLType_$union;
 /**
  * Helper function to check if a CWLType is or contains an Array type
  */