7 commits

Author	SHA1	Message	Date
Simon Cruanes	1edf054104	refactor(proof): use a suspension but keep uniform Proof_term.data type ... this makes proof terms uniformly printable or (de)serializable.	2022-07-31 15:01:11 -04:00
Simon Cruanes	a1bc186d2e	use ocamlformat	2022-07-14 22:09:13 -04:00
Simon Cruanes	d3537f2c3f	wip: refactor proof	2021-10-07 20:49:39 -04:00
Simon Cruanes	ae6d298790	move to containers 3.0	2020-09-08 22:33:24 -04:00
Simon Cruanes	fadf76d944	chore: migrate from sequence to iter	2019-03-22 19:43:05 -05:00
Simon Cruanes	c06e4025fa	perf(bag): remove constant-time size	2019-02-16 13:38:43 -06:00
Simon Cruanes	a463dbb4b5	feat(cc): split sub-library sidekick.cc, make it fully functorized	2019-02-09 21:57:20 -06:00

Renamed from src/smt/Bag.mli (Browse further)