File tree Expand file tree Collapse file tree 1 file changed +54
-0
lines changed
Expand file tree Collapse file tree 1 file changed +54
-0
lines changed Original file line number Diff line number Diff line change 4545 " name" : " __LOC__" ,
4646 " desc" : " string"
4747 }
48+
49+ $ $ MERLIN single search-by-type -filename ./ main. ml \
50+ > -position 5 : 25 -limit 10 -query " ezfnifzen -> ezfzef" |
51+ > tr ' \n' ' ' | jq ' .value[] | {name,type,cost}'
52+ {
53+ " name" : " Gc.major" ,
54+ " type" : " unit -> unit" ,
55+ " cost" : 13
56+ }
57+ {
58+ " name" : " Gc.minor" ,
59+ " type" : " unit -> unit" ,
60+ " cost" : 13
61+ }
62+ {
63+ " name" : " Sys.time" ,
64+ " type" : " unit -> float" ,
65+ " cost" : 13
66+ }
67+ {
68+ " name" : " read_int" ,
69+ " type" : " unit -> int" ,
70+ " cost" : 13
71+ }
72+ {
73+ " name" : " read_int" ,
74+ " type" : " unit -> int" ,
75+ " cost" : 13
76+ }
77+ {
78+ " name" : " flush_all" ,
79+ " type" : " unit -> unit" ,
80+ " cost" : 13
81+ }
82+ {
83+ " name" : " flush_all" ,
84+ " type" : " unit -> unit" ,
85+ " cost" : 13
86+ }
87+ {
88+ " name" : " read_line" ,
89+ " type" : " unit -> string" ,
90+ " cost" : 13
91+ }
92+ {
93+ " name" : " read_line" ,
94+ " type" : " unit -> string" ,
95+ " cost" : 13
96+ }
97+ {
98+ " name" : " Bytes.copy" ,
99+ " type" : " bytes -> bytes" ,
100+ " cost" : 13
101+ }
You can’t perform that action at this time.
0 commit comments