constraints fromSchema
typeside t schema s : t ---------------------------------- constraints (fromSchema s) : s
Turns path / observation equations intro constraints.
Appears in:
All_Syntax
Options:
always_reload
num_threads
talg_reduction
timeout