Module `Smyth.Example`

val from_value : Lang.value -> Lang.example: "Upcasts" a simple value to an example.

val res_satisfies : Lang.hole_filling -> Lang.res -> Lang.example -> bool: Example satisfaction as defined in Figure 5 of the ICFP 2020 paper.

val exp_satisfies : Lang.hole_filling -> Lang.exp -> Lang.worlds -> bool: Example constraint satisfaction as defined in Figure 5 of the ICFP 2020 paper.