datatype 'a states = States direction "'a big_state""'a small_state"
instantiationstates::(type) step begin
fun step_states :: "'a states → 'a states"where "step (States dir (Big1 currentB big auxB 0) (Small1 currentS _ auxS)) = States dir (step (Big1 currentB big auxB 0)) (Small2 currentS auxS big [] 0)"
| "step (States dir left right) = States dir (step left) (step right)"
instance.. end
end
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.21 Sekunden
(vorverarbeitet am 2026-07-02)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
