LVS model.
Optional
vtable: VtableInputUser functions.
Executable policy.
Translate LVS model to TrustSchemaPolicy at build-time without linking user functions.
LVS model.
toPolicy.buildTime symbol.
Possibly incomplete policy. If the LVS model references user functions, the policy will not execute successfully. The policy can be serialized with printESM and printUserFns.
Translate LVS model to TrustSchemaPolicy at runtime.