Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
476 B · 13 lines
at main
1234567891011121314module Make = ( Term: Signatures.TERM, Judgment: Signatures.JUDGMENT with module Term := Term and type t = Term.t, TermView: Signatures.TERM_VIEW with module Term := Term,): (Signatures.JUDGMENT_VIEW with module Term := Term and module Judgment := Judgment) => { module TermView = TermView type props = { judgment: Judgment.t, scope: array<Term.meta>, } @react.componentWithProps let make = ({judgment, scope}) => <TermView term={judgment} scope />}