liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

holbert-ng / src / StringA.resi
at main 9 lines 301 B view raw
Josh Brown clean ATOM/BASE_ATOM signature
3974f644
1type rec piece = 2 | String(string) 3 | Var({idx: int}) 4 | Schematic({schematic: int, allowed: array<int>}) 5type t = array<piece> 6 7module BaseAtom: AtomDef.BASE_ATOM with type t = t 8module Atom: AtomDef.ATOM with module BaseAtom = BaseAtom 9module AtomView: AtomDef.ATOM_VIEW with module Atom := Atom