parent
6a952f8a15
commit
14b63fccc2
|
@ -226,6 +226,6 @@ prove mt =
|
||||||
|
|
||||||
single : RuleEnv -> Prover a -> Maybe a
|
single : RuleEnv -> Prover a -> Maybe a
|
||||||
single env p =
|
single env p =
|
||||||
p env { instantiationState = emptyInstantiationState, unificationState = emptyUnificationState, gas = 15 }
|
p env { instantiationState = emptyInstantiationState, unificationState = emptyUnificationState, gas = 30 }
|
||||||
|> Search.one
|
|> Search.one
|
||||||
|> Maybe.map (Tuple.first << Tuple.first)
|
|> Maybe.map (Tuple.first << Tuple.first)
|
||||||
|
|
Loading…
Reference in New Issue