Module type Set_lang_intf.S_eval

module type S_eval = sig .. end

type 'base t 
type set 
type 'a result 
val subst : 'b1 t ->
f:('b1 -> 'b2 t result) ->
'b2 t result
val map : 'b1 t ->
f:('b1 -> 'b2 result) ->
'b2 t result
val specialize : 'b t ->
f:('b -> set option result) ->
'b t result
val eval : 'b t ->
f:('b -> set result) ->
set result