Constrain → Function Relation

File in include/llzk/Dialect/Constrain	Includes file in include/llzk/Dialect/Function
IR / Ops.h	IR / OpTraits.h