= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
type outcome =
| Success of Data.solution
val once : ?max_steps:int -> ?delay_outside_fragment:bool -> Compile.executable -> outcome
val loop : ?delay_outside_fragment:bool -> Compile.executable -> more:(unit -> bool) -> pp:(float -> outcome -> unit) -> unit
pp is called on all solutions.
more is called to know if another solution has to be searched for.