Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
506 B · 18 lines
at main
12345678910111213141516171819open Signatures
module Make = (Term: TERM, TermView: TERM_VIEW with module Term := Term) => { type props = {scope: array<Term.meta>} @react.componentWithProps let make = props => { let arr = props.scope->Array.mapWithIndex((m, i) => <React.Fragment key={String.make(i)}> {TermView.makeMeta(m)} </React.Fragment> ) Array.reverse(arr) if Array.length(arr) > 0 { <span className="rule-binders"> {React.array(arr)} </span> } else { React.null } }}