def StrataDDM.SyntaxCat.mkOpt (c : SyntaxCat) : SyntaxCat

Equations

• c.mkOpt = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "Option" }, args := #[c] }

def StrataDDM.SyntaxCat.mkSeq (c : SyntaxCat) : SyntaxCat

Equations

• c.mkSeq = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "Seq" }, args := #[c] }

def StrataDDM.SyntaxCat.mkCommaSepBy (c : SyntaxCat) : SyntaxCat

Equations

• c.mkCommaSepBy = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "CommaSepBy" }, args := #[c] }

def StrataDDM.SyntaxCat.mkSpaceSepBy (c : SyntaxCat) : SyntaxCat

Equations

• c.mkSpaceSepBy = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "SpaceSepBy" }, args := #[c] }

def StrataDDM.SyntaxCat.mkSpacePrefixSepBy (c : SyntaxCat) : SyntaxCat

Equations

• c.mkSpacePrefixSepBy = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "SpacePrefixSepBy" }, args := #[c] }

def StrataDDM.SyntaxCat.mkNewlineSepBy (c : SyntaxCat) : SyntaxCat

Equations

• c.mkNewlineSepBy = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "NewlineSepBy" }, args := #[c] }

def StrataDDM.SyntaxCat.mkSemicolonSepBy (c : SyntaxCat) : SyntaxCat

Equations

• c.mkSemicolonSepBy = { ann := StrataDDM.SourceRange.none, name := { dialect := "Init", name := "SemicolonSepBy" }, args := #[c] }

def StrataDDM.initDialect : Dialect