package tiny_appkits
Module Cad_editSource
Source
val trim :
Cad_geom.curve list ->
Cad_drawing.entity ->
at:pt ->
(Cad_drawing.entity list, string) resultSource
val extend :
Cad_geom.curve list ->
Cad_drawing.entity ->
at:pt ->
(Cad_drawing.entity, string) resultSource
val fillet :
float ->
(Cad_drawing.entity * pt) ->
(Cad_drawing.entity * pt) ->
(Cad_drawing.entity * Cad_drawing.entity * Cad_drawing.entity option, string)
result