def StrataDDM.Integration.primitiveCategories : Std.HashSet QualifiedIdent

Init categories that map to primitive types (no interface/inductive needed)

Equations

• One or more equations did not get rendered due to their size.

def StrataDDM.Integration.forbiddenCategories : Std.HashSet QualifiedIdent

Init categories that are internal machinery (should error if used by dialects)

Equations

• One or more equations did not get rendered due to their size.

def StrataDDM.Integration.abstractCategories : Std.HashSet QualifiedIdent

Init categories that are abstract extension points (dialects provide implementations)

Equations

• StrataDDM.Integration.abstractCategories = Std.HashSet.ofList [{ dialect := "Init", name := "Expr" }, { dialect := "Init", name := "Type" }, { dialect := "Init", name := "TypeP" }]