Module struct_compat

Expand description

Check whether two refinemnt types/signatures are structurally compatible.

Used to check if a user spec is compatible with the underlying rust type. The code also infer types annotated with _ in the surface syntax.