Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
8 lines (7 sloc) 160 Bytes
(*s: ui_layers.mli *)
val choose_layer:
root:Common.dirname ->
string option (* layer title we want *) ->
Model2.world ->
unit
(*e: ui_layers.mli *)