13 lines
331 B
Text
13 lines
331 B
Text
let s = import "adr-schema.ncl" in
|
|
let c = import "adr-constraints.ncl" in
|
|
|
|
{
|
|
make_adr = fun data =>
|
|
let result | c.RequiresJustificationWhenRisky = s.Adr & data in
|
|
result,
|
|
make_constraint = fun data => s.Constraint & data,
|
|
|
|
Adr = s.Adr,
|
|
Constraint = s.Constraint,
|
|
OntologyCheck = s.OntologyCheck,
|
|
}
|