st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-03-12 02:57:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

remove unrequired commend

Browse source
This commit is contained in:
ProgramSnail 2026-01-29 16:37:22 +03:00
parent cdf85131f4
commit 7d21d99960
2 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lib/relational_semantic_interpreter.ml
View file

@ -1,5 +1,3 @@
(* (,,) -< Pair.inj _ (Pair.inj _ _) *)
module Relational = module Relational =
struct struct
open GT open GT

2
lib/semantic_interpreter.ml
View file

@ -1,5 +1,3 @@
(* (,,) -< Pair.inj _ (Pair.inj _ _) *)
module Functional = module Functional =
struct struct